From 16177dec8a73f1cbc6b3dbf5e99038cb30d4d8b6 Mon Sep 17 00:00:00 2001
From: Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr>
Date: Fri, 6 Jan 2012 07:48:45 +0000
Subject: [PATCH] Fix bug #5464 (add a @direntry in ocaml.info for
 compatibility with Debian)

git-svn-id: http://caml.inria.fr/svn/ocamldoc/trunk@11993 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 manual/manual/Makefile           | 5 +++--
 manual/manual/manual.info.header | 4 ++++
 2 files changed, 7 insertions(+), 2 deletions(-)
 create mode 100644 manual/manual/manual.info.header

diff --git a/manual/manual/Makefile b/manual/manual/Makefile
index c6677b2e8..d062d451e 100644
--- a/manual/manual/Makefile
+++ b/manual/manual/Makefile
@@ -5,7 +5,7 @@ TEXINPUTS=.:..:../refman:../library:../cmds:../tutorials:../../styles:
 TEXFONTS=../../styles:
 RELEASE=$$HOME/release/$${RELEASENAME}
 SRC=../../release
-OCAMLDOC=$(SRC)/ocamldoc/ocamldoc.opt -hide Pervasives 
+OCAMLDOC=$(SRC)/ocamldoc/ocamldoc.opt -hide Pervasives
 HEVEA=hevea
 HACHA=hacha
 INFO=-fix -exec xxdate.exe -info -w 79
@@ -67,7 +67,8 @@ html: files
 
 info: files
 	cd infoman; rm -f ocaml.info*; \
-	${HEVEA} ${INFO} -o ocaml.info -I .. -I ../refman -I ../library -I ../cmds -I ../tutorials -I ../../styles -I ../texstuff ../manual.inf -e macros.tex ../manual.tex
+	${HEVEA} ${INFO} -o ocaml.info.body -I .. -I ../refman -I ../library -I ../cmds -I ../tutorials -I ../../styles -I ../texstuff ../manual.inf -e macros.tex ../manual.tex
+	cat manual.info.header infoman/ocaml.info.body > infoman/ocaml.info
 	cd infoman; rm -f ocaml.info.tmp; gzip -9 ocaml.info*
 
 text: files
diff --git a/manual/manual/manual.info.header b/manual/manual/manual.info.header
new file mode 100644
index 000000000..746651583
--- /dev/null
+++ b/manual/manual/manual.info.header
@@ -0,0 +1,4 @@
+INFO-DIR-SECTION OCaml Programming Language 
+START-INFO-DIR-ENTRY
+* ocaml: (ocaml). OCaml Reference Manual
+END-INFO-DIR-ENTRY