Further work on reducing make doc output - GOP 9

[Phil Holmes]

I've written a shell script that has as its arguments a command line and a logfile. It runs the command, sending the output from that command to the logfile. It then returns the error status from the command line. If an error occurs, it displays a message indicating the name of the logfile. We should be able to use this to reduce the output of make doc considerably, while at the same time retaining the output in logfiles and pointing where to look in the event of a failure.

TIA.

--
Phil Holmes

I attach a set of files that can be used to show this in action. Note that one of the .texi files includes a file with errors, and, FWIW, texi2html continues happily, whereas texi2pdf stops on the error. This is also true even with error-limit =0 - texi2html seems to view errored input as simply something worth warning about. Also note the --clean option for texi2pdf - this reduces the cruft in the output directory a lot, and since we now have a separate logfile, I don't know of a reason to keep it. Please let me know if anyone knows different. I will convert this to a patch for proper review, but wanted those who understand Unix scripts to pass their eyes over a simple version first.

CheckAndRun.sh
Description: Binary data

GNUmakefile
Description: Binary data

test.sh
Description: Binary data

TexiError.texi
Description: Binary data

ErrorInclude.itexi
Description: Binary data

TexiTest.texi
Description: Binary data

_______________________________________________
lilypond-devel mailing list
lilypond-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/lilypond-devel