Here is a small patch that I propose, to be able to test another version
of makeinfo more easily.
---
doc/Makefile | 7 ---
1 file changed, 4 insertions(+), 3 deletions(-)
diff --git a/doc/Makefile b/doc/Makefile
index 98d29f1c66..cd397b518c 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -4
Here is a proposed patch for portability of doc/t2h.pm for GNU Texinfo
7.1 and 7.1.90 (7.2 pretest). I tested against 7.1 and 7.1.90 (7.2
pretest). There is a difference in the headings compared to the website
version, maybe related to FA_ICONS not being set the same, but the
result seems corre