-
Glenn Morris authored
Previously the @hyphenation commands somehow caused the <head> section to go missing, with makeinfo 4.13 at least.
00fdce07
Previously the @hyphenation commands somehow caused the <head> section to go missing, with makeinfo 4.13 at least.