diff options
-rw-r--r-- | debian/patches/01-remove-extra-copyright-file.patch | 11 | ||||
-rw-r--r-- | debian/patches/series | 1 | ||||
-rw-r--r-- | debian/source/format | 1 |
3 files changed, 13 insertions, 0 deletions
diff --git a/debian/patches/01-remove-extra-copyright-file.patch b/debian/patches/01-remove-extra-copyright-file.patch new file mode 100644 index 0000000..e303148 --- /dev/null +++ b/debian/patches/01-remove-extra-copyright-file.patch @@ -0,0 +1,11 @@ +--- Makefile.in ++++ Makefile.in +@@ -20,7 +20,7 @@ + HEADERS = @PACKAGE_NAME@.h llist.h iw_if.h + PURESRC = $(filter-out $(MAIN),$(wildcard *.c)) + OBJS = $(PURESRC:.c=.o) +-DOCS = README NEWS THANKS AUTHORS COPYING ChangeLog ++DOCS = README NEWS THANKS AUTHORS ChangeLog + + %.o: %.c $(HEADERS) + $(CC) $(CFLAGS) $(DEFS) -c -o $@ $< diff --git a/debian/patches/series b/debian/patches/series new file mode 100644 index 0000000..f5eb0a6 --- /dev/null +++ b/debian/patches/series @@ -0,0 +1 @@ +01-remove-extra-copyright-file.patch diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) |