Using batch mode for doc generation.

This commit is contained in:
Matthias Koefferlein 2018-06-24 17:05:40 +02:00
parent 8ebf4a0f79
commit 4c23e5f42e
1 changed files with 1 additions and 1 deletions

View File

@ -47,7 +47,7 @@ for qt in 5 4; do
export KLAYOUT_HOME=.
rm -f ./help-index.xml
./klayout -rx -z -rd "target_doc=$target_doc" -rd "qt=$qt" -r $inst_dir/extract_user_doc.rb
./klayout -rx -b -rd "target_doc=$target_doc" -rd "qt=$qt" -r $inst_dir/extract_user_doc.rb
mv ./help-index.xml $target_doc/help-index.data