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

[Helge Kreutzmann]

Author: kreutzm-guest
Date: 2005-01-24 09:15:21 +0100 (Mon, 24 Jan 2005)
New Revision: 925

Modified:
   packages/advi/branches/split/debian/patches/00list
Log:
Include doc_build.dpatch


Modified: packages/advi/branches/split/debian/patches/00list
===================================================================
--- packages/advi/branches/split/debian/patches/00list	2005-01-24 08:14:46 UTC (rev 924)
+++ packages/advi/branches/split/debian/patches/00list	2005-01-24 08:15:21 UTC (rev 925)
@@ -9,4 +9,5 @@
 neutralize_texinputs
 no_bubble
 set_test_cache_dir
+doc_build
 #pagemovement