Apply the following patch and regenerate the html manual. You will see that the manual doesn't get *re*-generated. Can someone review the current rules to DTRT?
--
diff --git a/default.mk b/default.mk index 7bdb7df..af871b6 100644 --- a/default.mk +++ b/default.mk @@ -103,7 +103,7 @@ MKDIR = install -m 755 -d MAKEINFO = makeinfo # How to create the HTML file -TEXI2HTML = makeinfo --html --number-sections +TEXI2HTML = makeinfo --html --number-sections --no-headers # How to find files FIND = find
