diff options
author | Jonathan McCrohan <jmccrohan@gmail.com> | 2012-02-05 19:12:39 +0000 |
---|---|---|
committer | Jonathan McCrohan <jmccrohan@gmail.com> | 2012-02-05 19:12:39 +0000 |
commit | 5c8a1e29326894e2e4a21395a1cf76f4d92724d8 (patch) | |
tree | 86c45869b041c3fd416464259c66f9ab349edd2d | |
parent | 50cf6fcf633f5b87ee9bb7d8071c7d9110b4bc07 (diff) | |
download | wavemon-5c8a1e29326894e2e4a21395a1cf76f4d92724d8.tar.gz |
Delete useless patch
-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 |