From: Stefano Zacchiroli Date: Sat, 16 Jun 2007 11:31:33 +0000 (+0000) Subject: cleaned up the manpage madness, hopefully they are now in the right package (dh_compr... X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~572 X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=1596d1524bddba854441e60b548445a3ce510b8a;p=ocaml.git cleaned up the manpage madness, hopefully they are now in the right package (dh_compress sucks bigtimes) --- diff --git a/debian/camlp4-extra.links b/debian/camlp4-extra.links new file mode 100644 index 00000000..99d25f68 --- /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 index 00000000..e69de29b diff --git a/debian/camlp4.links b/debian/camlp4.links new file mode 100644 index 00000000..14933666 --- /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 index 00000000..3cc499ec --- /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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 index 96b01d97..00000000 --- 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 63309296..e69de29b 100644 --- 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 17ab4a04..d9af8fc0 100755 --- 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