dons 30444ed677 Turn of doc regeneration, to make sure darcs doesn't try to regenerate ... docs if latex2html happens to be installed, leading to different packing lists with and without latex2html. ok pvalchev@		2004-08-10 02:33:01 +00:00
..
patch-configure	Update darcs to 0.9.23	2004-07-31 03:18:29 +00:00
patch-GNUmakefile	Turn of doc regeneration, to make sure darcs doesn't try to regenerate	2004-08-10 02:33:01 +00:00