On Sunday, 08 May 2016 at 04:34:25 pm -0400, Br. Samuel Springuel wrote: > What about simply modifying build.sh so that it also builds the > documentation? Then the instructions on the website should still be > valid and the failure will be eliminated.
Rebuilding the documentation takes about 5x as much time as clean building the code, and having to wait for that for every build (which will happen since the PDF depends on the executable as well as any of the tex files or fonts) will be very expensive. So I do not support that option. Henry _______________________________________________ Gregorio-devel mailing list [email protected] https://mail.gna.org/listinfo/gregorio-devel
