commit e8b324a984e6cbbeb4ea02ba553bd5da520eb3f8
Author: Pavel Sanda <[email protected]>
Date: Thu Aug 17 01:24:44 2017 +0200
oops, git is playing games with me.
---
development/tools/generate_manuals_for_web.sh | 3 +--
1 files changed, 1 insertions(+), 2 deletions(-)
diff --git a/development/tools/generate_manuals_for_web.sh
b/development/tools/generate_manuals_for_web.sh
index 2ae337c..b28a638 100755
--- a/development/tools/generate_manuals_for_web.sh
+++ b/development/tools/generate_manuals_for_web.sh
@@ -18,8 +18,7 @@
# $TOC - final index.html that links all converted manuals
# $TMP - temporary folder where all the conversion is done
-#MAIN_DOCS=${MAIN_DOCS:-"Intro Tutorial UserGuide Math Additional
Customization Shortcuts LFUNs"}
-MAIN_DOCS=${MAIN_DOCS:-"Math"}
+MAIN_DOCS=${MAIN_DOCS:-"Intro Tutorial UserGuide Math Additional Customization
Shortcuts LFUNs"}
LYX=${LYX:-${PWD}/src/lyx}
OUT=${OUT:-$HOME/web/lyxdoc}
TOC=${TOC:-lyxdoc/index.html}