Status: Accepted
Owner: ----
Labels: Type-Build
New issue 2028 by philehol...@gmail.com: Make doc always recreates HTML
files
http://code.google.com/p/lilypond/issues/detail?id=2028
As the title says. Run make, make doc and then make doc again. The HTML
files all have fresh timestamps. It would presumably speed up make doc to
avoid building these when they don't require a rebuild.
_______________________________________________
bug-lilypond mailing list
bug-lilypond@gnu.org
https://lists.gnu.org/mailman/listinfo/bug-lilypond
