aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJonathan McCrohan <jmccrohan@gmail.com>2012-02-05 19:12:39 +0000
committerJonathan McCrohan <jmccrohan@gmail.com>2012-02-05 19:12:39 +0000
commit5c8a1e29326894e2e4a21395a1cf76f4d92724d8 (patch)
tree86c45869b041c3fd416464259c66f9ab349edd2d
parent50cf6fcf633f5b87ee9bb7d8071c7d9110b4bc07 (diff)
downloadwavemon-5c8a1e29326894e2e4a21395a1cf76f4d92724d8.tar.gz
Delete useless patch
-rw-r--r--debian/patches/12_dont_install_DOCS.diff19
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