[doc] Fix to how documentation is built (thanks: David van Leeuwen)

[processor-sdk/kaldi.git] / src / doc / README

diff --git a/src/doc/README b/src/doc/README
index 27de5defc9f1ad54280eddce636be9c80160510a..93c986d0546fbb9ecc2554d4e493f2a91924e26b 100644 (file)
--- a/src/doc/README
+++ b/src/doc/README
@@ -32,6 +32,7 @@ doc/get_version_info.sh
 echo "$0: done"
 
 
+rm -r html
 doxygen
 cp doc/*.pptx html/;
 # get the style sheet in the html/ directory.