diff options
| author |  Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-16 21:10:33 +0000 |
|---|---|---|
| committer | Samuel Mimram <samuel.mimram@ens-lyon.org> | 2004-07-16 21:10:33 +0000 |
| commit | 87d0789ec9533e2efc5513d5a50d3a4e3d641d82 (patch) | |
| tree | 186f2c519bf15a50da1f73d6b227267afd939010 /debian/rules | |
| parent | 7c8031af038d51afec49714c604cf0b006b17724 (diff) | |
Corrected a few problems.
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 7703245f..19396fad 100755 --- a/debian/rules +++ b/debian/rules @@ -65,11 +65,13 @@ install: build $(MAKE) $(ADDPREF) install || $(MAKE) BEST=byte $(ADDPREF) install for i in $(COQPREF)/usr/bin/*.opt; do strip -R .note -R .comment $$i; done - install debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm - install debian/coq.desktop debian/coqide/usr/share/applnk/Development + cp debian/coq.xpm debian/coq/usr/share/pixmaps/coq.xpm + cp debian/coq.desktop debian/coqide/usr/share/applnk/Development dh_install --sourcedir=$(COQPREF) + cp debian/coq/usr/share/man/man1/coq-interface.1 debian/coq/usr/share/man/man1/coq-interface.opt.1 + binary-indep: build install binary-arch: build install |