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-0dff7051ff02master
parent
d1b82414d5
commit
16177dec8a
|
@ -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
|
||||
|
|
|
@ -0,0 +1,4 @@
|
|||
INFO-DIR-SECTION OCaml Programming Language
|
||||
START-INFO-DIR-ENTRY
|
||||
* ocaml: (ocaml). OCaml Reference Manual
|
||||
END-INFO-DIR-ENTRY
|
Loading…
Reference in New Issue