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
Diffstat (limited to '')
| -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 |