Doc. system: fix definition duplicities

They were caused by appending to a deflist instead of overwriting. If
the original file was changed and documentation recompiled, new
definitions were added to the old ones.

diff --git a/build/doc-extract b/build/doc-extract
index e3f052ce346a89d957ff1f840e55e638785a24b8..a5af0e4e35ac52a89e062df3e42f1795f55f8747 100755 (executable)
--- a/build/doc-extract
+++ b/build/doc-extract
@@ -18,7 +18,7 @@ if( defined $outname ) {
 }
 my $hasdump;
 if( defined $defdump ) {
-       open DUMP, ">>$defdump" or die "Could not write definition dump $defdump ($!)\n";
+       open DUMP, ">$defdump" or die "Could not write definition dump $defdump ($!)\n";
        $hasdump = 1;
 }