diff options
| author |  Stephane Glondu <steph@glondu.net> | 2008-08-12 15:05:08 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2008-08-12 16:11:25 +0200 |
| commit | c7560b2873cbba06c8f4123e64cc42be979ab676 (patch) | |
| tree | 0599f7b1683acadbf9f63f3997b47d6ab3b6e853 /debian/rules | |
| parent | 331f53499e751f658e32e2beb98336f454c5c0c2 (diff) | |
Remove obsolete manpages (now shipped upstream)
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/debian/rules b/debian/rules index 7a986d94..640fceb8 100755 --- a/debian/rules +++ b/debian/rules @@ -101,16 +101,12 @@ install-stamp: build-stamp cp debian/coqide.desktop debian/coqide/usr/share/applications if [ -e opt-stamp ]; then \ - cp debian/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.opt.1; \ + cp man/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.opt.1; \ cp debian/coqide.1 debian/coqide/usr/share/man/man1/coqide.opt.1; \ fi + cp man/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.1 cp debian/coqide.1 debian/coqide/usr/share/man/man1/coqide.1 cp debian/coqide.1 debian/coqide/usr/share/man/man1/coqide.byte.1 - cp debian/coqc.1 debian/coq/usr/share/man/man1/coqc.1 - cp debian/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.1 - cp debian/coq_makefile.1 debian/coq/usr/share/man/man1/coq_makefile.1 - cp debian/coqmktop.1 debian/coq/usr/share/man/man1/coqmktop.1 - cp debian/coqtop.1 debian/coq/usr/share/man/man1/coqtop.1 cp -r doc/stdlib/html debian/coq-libs/usr/share/doc/coq-libs/ cd debian/coq-libs/usr/share/doc/coq; ln -s ../coq-libs/html stdlib |