From 4c23e5f42e085f2f13e7725cb68b46603f7e335d Mon Sep 17 00:00:00 2001 From: Matthias Koefferlein Date: Sun, 24 Jun 2018 17:05:40 +0200 Subject: [PATCH] Using batch mode for doc generation. --- scripts/extract_user_doc.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/extract_user_doc.sh b/scripts/extract_user_doc.sh index 1cd3c2e9f..f37cce9e8 100755 --- a/scripts/extract_user_doc.sh +++ b/scripts/extract_user_doc.sh @@ -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