Doc. system: dependencies bug

They should be appended, not overwritten, this would trash all previous
dependencies

diff --git a/build/extract-doc.pl b/build/extract-doc.pl
index a8314a97eac26c4948729593b84b8eb173851ed4..ca4e42e2874fb771ae0b5b0d7aba25206093dafb 100755 (executable)
--- a/build/extract-doc.pl
+++ b/build/extract-doc.pl
@@ -138,7 +138,7 @@ while( defined( $line = <IN> ) ) {
 }
 
 if( defined $depname ) {
-       open DEP, ">$depname" or die "Could not write dep file $depname ($!)\n";
+       open DEP, ">>$depname" or die "Could not write dep file $depname ($!)\n";
        print DEP "$outname:";
        print DEP " $_" foreach( @deps );
        print DEP "\n";