diff options
Diffstat (limited to 'debian.sid')
-rwxr-xr-x | debian.sid/rules | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/debian.sid/rules b/debian.sid/rules index 6a0d59c..ea353d5 100755 --- a/debian.sid/rules +++ b/debian.sid/rules @@ -31,15 +31,13 @@ override_dh_install: # rename executables for executable in pylint pylint-gui symilar epylint pyreverse ; do \ new_exec="$$executable"3; \ - mv $(CURDIR)/debian/$(PACKAGE3)/usr/bin/$$executable $(CURDIR)/debian/$(PACKAGE3)/usr/bin/$$new_exec; \ + sed 's,^#!.*python$$,&3,' < $(CURDIR)/debian/$(PACKAGE3)/usr/bin/$$executable > $(CURDIR)/debian/$(PACKAGE3)/usr/bin/$$new_exec || exit 1; \ \ + done - # remove test directory rm -rf debian/*/usr/lib/python*/*-packages/pylint/test - # generate pylint man page automatically #PYTHONPATH=$(CURDIR)/debian/$(PACKAGE)/$(PYLIB) python $(CURDIR)/bin/pylint --generate-man > $(CURDIR)/man/pylint.1 - # rename and install man pages dh_installman -ppylint man/*.1 cd man && for i in *.1; do cp -v $$i "$$(basename $$i .1)3.1"; done |