From d0c4138ac2abd83096cc5b882aa02939c9bfa91a Mon Sep 17 00:00:00 2001
From: Thomas Preud'homme <robotux@celest.fr>
Date: Wed, 29 May 2013 13:14:59 +0200
Subject: [PATCH] Improve texi2html -> makeinfo conversion

---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9b9d7872..4a273644 100644
--- a/Makefile
+++ b/Makefile
@@ -315,7 +315,7 @@ endif
 
 # documentation and man page
 tcc-doc.html: tcc-doc.texi
-	makeinfo --no-split --html -o $@ $<
+	-makeinfo --no-split --html --number-sections -o $@ $<
 
 tcc.1: tcc-doc.texi
 	-$(top_srcdir)/texi2pod.pl $< tcc.pod