diff options
| -rw-r--r-- | debian/patches/12_dont_install_DOCS.diff | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/debian/patches/12_dont_install_DOCS.diff b/debian/patches/12_dont_install_DOCS.diff deleted file mode 100644 index 1a75a40..0000000 --- a/debian/patches/12_dont_install_DOCS.diff +++ /dev/null @@ -1,19 +0,0 @@ ---- Makefile.in-old 2009-12-11 22:09:29.000000000 +0100 -+++ Makefile.in 2009-12-11 22:10:04.000000000 +0100 -@@ -39,15 +39,13 @@ - - .PHONY: install uninstall clean distclean - --install: wavemon wavemon.1 wavemonrc.5 $(DOCS) -+install: wavemon wavemon.1 wavemonrc.5 - $(INSTALL) -m 0755 -d $(DESTDIR)$(bindir) - $(INSTALL) -m 0755 wavemon $(DESTDIR)$(bindir) - $(INSTALL) -m 0755 -d $(DESTDIR)$(mandir)/man1 - $(INSTALL) -m 0644 wavemon.1 $(DESTDIR)$(mandir)/man1 - $(INSTALL) -m 0755 -d $(DESTDIR)$(mandir)/man5 - $(INSTALL) -m 0644 wavemonrc.5 $(DESTDIR)$(mandir)/man5 -- $(INSTALL) -m 0755 -d $(DESTDIR)$(datadir) -- $(INSTALL) -m 0644 $(DOCS) $(DESTDIR)$(datadir) - - uninstall: - @$(RM) $(bindir)/wavemon |