cleaned up the manpage madness, hopefully they are now in the right package (dh_compr...

diff --git a/debian/camlp4-extra.links b/debian/camlp4-extra.links
new file mode 100644 (file)
index 0000000..99d25f6
--- /dev/null
+++ b/debian/camlp4-extra.links
@@ -0,0 +1,20 @@
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4boot.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4of.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4rf.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4oof.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4orf.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4prof.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4of.opt.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4rf.opt.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4oof.opt.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4orf.opt.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4boot.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4of.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4rf.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4oof.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4orf.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4prof.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4of.opt.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4rf.opt.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4oof.opt.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4orf.opt.1.gz

diff --git a/debian/camlp4-extra.manpages b/debian/camlp4-extra.manpages
new file mode 100644 (file)
index 0000000..e69de29

diff --git a/debian/camlp4.links b/debian/camlp4.links
new file mode 100644 (file)
index 0000000..1493366
--- /dev/null
+++ b/debian/camlp4.links
@@ -0,0 +1,9 @@
+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
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4r.opt.1.gz
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4.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
+usr/share/man/man1/camlp4.1.gz   usr/share/man/man1/camlp4r.opt.1.gz

diff --git a/debian/camlp4.manpages b/debian/camlp4.manpages
new file mode 100644 (file)
index 0000000..3cc499e
--- /dev/null
+++ b/debian/camlp4.manpages
@@ -0,0 +1 @@
+debian/man/camlp4.1

diff --git a/debian/man/camlp4boot.1 b/debian/man/camlp4boot.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4boot.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4o.1 b/debian/man/camlp4o.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4o.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4of.1 b/debian/man/camlp4of.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4of.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4of.opt.1 b/debian/man/camlp4of.opt.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4of.opt.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4oof.1 b/debian/man/camlp4oof.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4oof.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4oof.opt.1 b/debian/man/camlp4oof.opt.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4oof.opt.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4orf.1 b/debian/man/camlp4orf.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4orf.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4orf.opt.1 b/debian/man/camlp4orf.opt.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4orf.opt.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4prof.1 b/debian/man/camlp4prof.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4prof.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4r.1 b/debian/man/camlp4r.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4r.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4rf.1 b/debian/man/camlp4rf.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4rf.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/camlp4rf.opt.1 b/debian/man/camlp4rf.opt.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/camlp4rf.opt.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/man/mkcamlp4.1 b/debian/man/mkcamlp4.1
deleted file mode 100644 (file)
index 96b01d9..0000000
--- a/debian/man/mkcamlp4.1
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1

diff --git a/debian/ocaml-nox.manpages b/debian/ocaml-nox.manpages
index 633092961d6d8dfe1b6aa021cdaa83c00d6f3a18..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
--- a/debian/ocaml-nox.manpages
+++ b/debian/ocaml-nox.manpages
@@ -1 +0,0 @@
-debian/man/camlp4*.1

diff --git a/debian/rules b/debian/rules
index 17ab4a041a9bcd7d04e21108a03816c22356d03e..d9af8fc01b8b271e119283dc5049ce7cf3b4f09b 100755 (executable)
--- a/debian/rules
+++ b/debian/rules
@@ -269,7 +269,7 @@ binary-common:
        dh_installman
        dh_link
        dh_strip
-       dh_compress
+       dh_compress usr/share/man/man1/*.1
        dh_fixperms
        dh_makeshlibs
        dh_installdeb