luke
/
klayout
mirror of https://github.com/KLayout/klayout.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixed doc generation script.

This commit is contained in:
Matthias Koefferlein 2018-06-24 18:15:36 +02:00
parent ea31e76c92
commit 5b7a924c3e
2 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
scripts/extract_user_doc.rb
View File

@ -25,10 +25,10 @@ def xml2html(t)
end
title = "KLayout "
title += (ENV["KLAYOUT_VERSION"] || "$version") + " "
title += ($klayout_version || "$version") + " "
title += "("
title += (ENV["KLAYOUT_VERSION_DATE"] || "$date") + " "
title += (ENV["KLAYOUT_VERSION_REV"] || "$rev")
title += ($klayout_version_date || "$date") + " "
title += ($klayout_version_rev || "$rev")
title += ") "
title += ($target_info && $target_info != "" ? "[#{$target_info}] " : "")

9
scripts/extract_user_doc.sh
View File

@ -54,7 +54,14 @@ for qt in 5 4; do
export KLAYOUT_HOME=$bin
rm -f $bin/help-index.xml
$bin/klayout -rx -b -rd "target_doc=$target_doc" -rd "target_info=$info" -rd "qt=$qt" -r $inst_dir/extract_user_doc.rb
$bin/klayout -rx -b \
-rd "klayout_version=$KLAYOUT_VERSION" \
-rd "klayout_version_rev=$KLAYOUT_VERSION_REV" \
-rd "klayout_version_date=$KLAYOUT_VERSION_DATE" \
-rd "target_doc=$target_doc" \
-rd "target_info=$info" \
-rd "qt=$qt" \
-r $inst_dir/extract_user_doc.rb
# just big:
# mv $bin/help-index.xml $target_doc/help-index.data