added mkcamlp4 (symlink) manpage

diff --git a/debian/TODO.Debian b/debian/TODO.Debian
index d31ee4517150cce666f1f1b0c8ab47afff5a69ac..8438b304ec5354640645961c24f710243e342244 100644 (file)
--- a/debian/TODO.Debian
+++ b/debian/TODO.Debian
@@ -1,18 +1,8 @@
 TODO list for ocaml 3.10.0 (and beyond ...)
+
 - lintian warnings
+
   lintian /home/srv/debian/pkg-ocaml-maint/packages/ocaml/build-area/ocaml_3.10.0-2_i386.changes
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4orf.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4oof.opt.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4of.opt.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4prof.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4oof.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4orf.opt.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4o.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4rf.opt.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4boot.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4r.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4of.1
-  E: ocaml-nox: manpage-not-compressed usr/share/man/man1/camlp4rf.1
   W: ocaml-nox: binary-without-manpage usr/bin/ocamlbuild.byte
   W: ocaml-nox: binary-without-manpage usr/bin/ocamlbuild.native
   W: ocaml-nox: script-not-executable ./usr/lib/ocaml/3.10.0/camlheader
@@ -21,9 +11,4 @@ TODO list for ocaml 3.10.0 (and beyond ...)
   W: ocaml-base-nox: binary-without-manpage usr/bin/ocaml-md5sums
   W: ocaml: binary-without-manpage usr/bin/labltk
   W: ocaml: binary-without-manpage usr/bin/ocamlbrowser
-  W: camlp4: binary-without-manpage usr/bin/camlp4
-  W: camlp4: binary-without-manpage usr/bin/camlp4o
-  W: camlp4: binary-without-manpage usr/bin/camlp4o.opt
-  W: camlp4: binary-without-manpage usr/bin/camlp4r
-  W: camlp4: binary-without-manpage usr/bin/camlp4r.opt
-  W: camlp4: binary-without-manpage usr/bin/mkcamlp4
+

diff --git a/debian/camlp4.links b/debian/camlp4.links
index 14933666e797be004efee1b12ce2df09c483d82d..76761b2fc7d1649d7e74aaccd6c32dba3a00e364 100644 (file)
--- a/debian/camlp4.links
+++ b/debian/camlp4.links
@@ -1,3 +1,4 @@
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/mkcamlp4.1.gz
 usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4o.1.gz
 usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4r.1.gz
 usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4o.opt.1.gz