[patch] NoDoc patch

nodoc.patch (text/plain), 408 bytes, created by Bjoern Koch on 2008-12-08 23:07:50 UTC

--- Makefile.orig	2006-08-12 16:26:20.366547794 +0200
+++ Makefile	2006-08-12 16:26:51.066037961 +0200
@@ -199,7 +199,6 @@
 	$(MAKE) Version
 	cp AUTHORS COPYING ChangeLog README LIESMICH Version $(RELEASE_TMP)/FreeDoko_$(VERSION)/
 	$(MAKE) -C data release
-	$(MAKE) -C doc release
 
# creates the linux binary and copies it into the release directory
# 'release_directory' should be called sometime before