1 files changed, 15 insertions, 0 deletions
diff --git a/debian/patches/00_clean_gfdl.patch b/debian/patches/00_clean_gfdl.patch
new file mode 100644
index 0000000..05e2a87
--- /dev/null
+++ b/debian/patches/00_clean_gfdl.patch
@@ -0,0 +1,15 @@
+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