|
From: | Jean-Charles Malahieude |
Subject: | Re: log files not deleted by doc-clean |
Date: | Sun, 26 Feb 2012 14:53:57 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux i686; rv:10.0.1) Gecko/20120209 Thunderbird/10.0.1 |
Le 26/02/2012 14:30, Phil Holmes disait :
Since they get overwritten on the next "make doc"... (unless they get a time stamp appended to the name)----- Original Message ----- From: "Jean-Charles Malahieude"Regarding issues 2302 and 2311, which by the way are very comfortable, I just noticed that no log file is deleted when running either "make doc-clean" or "make clean".Not sure if that's a good thing or not - it could be argued that you can go back and check them if they've not been deleted.
FWIW the CG says: "In some cases, it is possible to clean the compiled documentation with 'make doc-clean', but this method is not guaranteed to fix everything. Instead, we recommend that you delete your 'build/' directory, and begin compiling from scratch. " (http://lilypond.org/doc/v2.15/Documentation/contributor/generating-documentation#documentation-editor_0027s-edit_002fcompile-cycle)
I've never used "build/" but a local clone. I nevertheless think that "make clean" should delete those logs. Cheers, Jean-Charles
[Prev in Thread] | Current Thread | [Next in Thread] |