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}

Reply via email to