diff options
Diffstat (limited to 'debian/patches/00_clean_gfdl.patch')
| -rw-r--r-- | debian/patches/00_clean_gfdl.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/debian/patches/00_clean_gfdl.patch b/debian/patches/00_clean_gfdl.patch deleted file mode 100644 index 05e2a87..0000000 --- a/debian/patches/00_clean_gfdl.patch +++ /dev/null @@ -1,15 +0,0 @@ -Mach's GFDL documentation is not DFSG-free, we need to drop the build rules. - -Index: b/Makefile.am -=================================================================== ---- a/Makefile.am -+++ b/Makefile.am -@@ -117,7 +117,7 @@ include Makefrag.am - include tests/Makefrag.am - - # Documentation. --include doc/Makefrag.am -+#include doc/Makefrag.am - - # - # Kernel Image |