Thanks, that all looks good. Any reason you didn't install?
My impression from the last exchange was that Ludo wanted to make all
changes himself.
k
Thanks, that all looks good. Any reason you didn't install?
Ludo: for gendocs.sh, this patch adds a new option --tex by analogy with
--html.
Also update the copyright year in the help msg, which had not been done
before, and one typo in the leading comments.
karl
--- a/build-aux/gendocs.sh
+++ b/build-aux/gendocs.sh
@@ -2,7 +2,7 @@
# gendocs.sh -- gener
