[Pkg-ocaml-maint-commits] r943 - packages/advi/branches/split/debian/patches

[Helge Kreutzmann]

Author: kreutzm-guest
Date: 2005-01-31 09:39:44 +0100 (Mon, 31 Jan 2005)
New Revision: 943

Modified:
   packages/advi/branches/split/debian/patches/doc_build.dpatch
Log:
*Correct patch author
*Extend patch description


Modified: packages/advi/branches/split/debian/patches/doc_build.dpatch
===================================================================
--- packages/advi/branches/split/debian/patches/doc_build.dpatch	2005-01-31 08:39:02 UTC (rev 942)
+++ packages/advi/branches/split/debian/patches/doc_build.dpatch	2005-01-31 08:39:44 UTC (rev 943)
@@ -1,11 +1,12 @@
 #! /bin/sh -e
-## build.dpatch by <luther@debian.org>
+## doc_build.dpatch by <kreutzm@itp.uni-hannover.de>
 ##
 ## All lines beginning with `## DP:' are a description of the patch.
 ## DP: The HTML files cannot be build (not HTMLC available)
 ## DP: Solution: Do not build/ship HTML files 
 ## DP: The man page cannot be build (no .m file in source)
 ## DP: Solution: Do not rebuild man page, use prebuild one
+## DP: but this does not work right now :-((
 
 if [ $# -ne 1 ]; then
     echo "`basename $0`: script expects -patch|-unpatch as argument" >&2