Menu

#4884 (ok 4.4.6) docs folder 'make clean' removes all doc files

3.5.1
fixed
None
Normal
2015-05-07
2015-05-02
No

Running make clean from inside the docs folder wipes out all files in ./docs/ due to running rm -rf *. This is probably a bad idea.

Discussion

  • Isaac Bennetch

    Isaac Bennetch - 2015-05-05
    • status: open --> resolved
     
  • Marc Delisle

    Marc Delisle - 2015-05-07
    • summary: docs folder 'make clean' removes all doc files --> (ok 4.4.6) docs folder 'make clean' removes all doc files
    • status: resolved --> fixed
     
  • Isaac Bennetch

    Isaac Bennetch - 2015-05-07

    Fixed with e6105f7e5ceda88ae7b0391b83aadfdce77f8864