From cbbaa53b420a32c1a46111695053ba21b585c250 Mon Sep 17 00:00:00 2001
From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
Date: Wed, 26 Sep 2001 14:32:50 +0000
Subject: [PATCH] -

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3795 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 camlp4/man/Makefile     |  2 ++
 camlp4/man/camlp4.1.tpl | 18 ++++++++++++++++++
 2 files changed, 20 insertions(+)

diff --git a/camlp4/man/Makefile b/camlp4/man/Makefile
index 14d221c41..e210afc87 100644
--- a/camlp4/man/Makefile
+++ b/camlp4/man/Makefile
@@ -20,6 +20,8 @@ install:
 	-cd $(MANDIR); rm -f camlp4r.1; ln -s $(TARGET) camlp4r.1
 	-cd $(MANDIR); rm -f mkcamlp4.1; ln -s $(TARGET) mkcamlp4.1
 	-cd $(MANDIR); rm -f ocpp.1; ln -s $(TARGET) ocpp.1
+	-cd $(MANDIR); rm -f camlp4o.opt.1; ln -s $(TARGET) camlp4o.opt.1
+	-cd $(MANDIR); rm -f camlp4r.opt.1; ln -s $(TARGET) camlp4r.opt.1
 
 camlp4.1: camlp4.1.tpl
 	sed -e "s'LIBDIR'$(LIBDIR)'g" camlp4.1.tpl > camlp4.1
diff --git a/camlp4/man/camlp4.1.tpl b/camlp4/man/camlp4.1.tpl
index c853c8417..18a7ae95d 100644
--- a/camlp4/man/camlp4.1.tpl
+++ b/camlp4/man/camlp4.1.tpl
@@ -39,6 +39,17 @@ other-options
 load-options
 ]
 file
+.LP
+.br
+.B camlp4o.opt
+[
+other-options
+]
+.br
+.B camlp4r.opt
+[
+other-options
+]
 
 .SH DESCRIPTION
 .B camlp4
@@ -64,6 +75,13 @@ See further.
 .B ocpp
 is an universal preprocessor, treating any kind of source file,
 generating the same text with the possible quotations expanded.
+.LP
+.B camlp4o.opt
+and
+.B camlp4r.opt
+are versions of camlp4o and camlp4r compiled by the native-code compiler
+ocamlopt. They are faster but not extensible. And they are not available
+in all installations of camlp4.
 
 .SH LOAD OPTIONS