cleaned up the manpage madness, hopefully they are now in the right package (dh_compr...
authorStefano Zacchiroli <zack@debian.org>
Sat, 16 Jun 2007 11:31:33 +0000 (11:31 +0000)
committerStefano Zacchiroli <zack@debian.org>
Sat, 16 Jun 2007 11:31:33 +0000 (11:31 +0000)
19 files changed:
debian/camlp4-extra.links [new file with mode: 0644]
debian/camlp4-extra.manpages [new file with mode: 0644]
debian/camlp4.links [new file with mode: 0644]
debian/camlp4.manpages [new file with mode: 0644]
debian/man/camlp4boot.1 [deleted file]
debian/man/camlp4o.1 [deleted file]
debian/man/camlp4of.1 [deleted file]
debian/man/camlp4of.opt.1 [deleted file]
debian/man/camlp4oof.1 [deleted file]
debian/man/camlp4oof.opt.1 [deleted file]
debian/man/camlp4orf.1 [deleted file]
debian/man/camlp4orf.opt.1 [deleted file]
debian/man/camlp4prof.1 [deleted file]
debian/man/camlp4r.1 [deleted file]
debian/man/camlp4rf.1 [deleted file]
debian/man/camlp4rf.opt.1 [deleted file]
debian/man/mkcamlp4.1 [deleted file]
debian/ocaml-nox.manpages
debian/rules

diff --git a/debian/camlp4-extra.links b/debian/camlp4-extra.links
new file mode 100644 (file)
index 0000000..99d25f6
--- /dev/null
@@ -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
@@ -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
@@ -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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /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
+++ /dev/null
@@ -1 +0,0 @@
-.so camlp4.1
index 633092961d6d8dfe1b6aa021cdaa83c00d6f3a18..e69de29bb2d1d6434b8b29ae775ad8c2e48c5391 100644 (file)
@@ -1 +0,0 @@
-debian/man/camlp4*.1
index 17ab4a041a9bcd7d04e21108a03816c22356d03e..d9af8fc01b8b271e119283dc5049ce7cf3b4f09b 100755 (executable)
@@ -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