Add -t flag for build.csh script to allow building TUI documentation

diff --git a/config_files/build.csh b/config_files/build.csh
index 43d80bc3c69c71be550a42427e3d03a15f6107dd..e91253d32955b3b26a044bebcb7c96914adbe248 100755 (executable)
--- a/config_files/build.csh
+++ b/config_files/build.csh
@@ -16,6 +16,7 @@ set modules=(KERNEL GUI GEOM MED SMESH VISU SUPERV NETGENPLUGIN GHS3DPLUGIN COMP
 set optim=""
 set is_install=0
 set is_help=0
+set is_tui=0
 set prefix=""
 
 #########################################################
@@ -42,6 +43,8 @@ while ( ${%1} > 0 )
        set prefix=$1
     else if ( "$1" == "-h" ) then
        set is_help=1
+    else if ( "$1" == "-t" ) then
+       set is_tui=1
     else
        set ckt=`echo ${modules} | grep $1`
        if ( "$ckt" != "" ) then
@@ -86,6 +89,9 @@ echo "            Use this option together with -c or -b."
 echo "            This option can require -d option to be set (to ensure that previously"
 echo "            created build directories are removed to enforce rebuild in optimized mode)."
 echo ""
+echo "-t          Performs make dev_docs step to build TUI documentation for those modules"
+echo "            which support this. Default is off."
+echo ""
 echo "-i          Performs make install step. Default is off that means only make step."
 echo ""
 echo "-p <prefix> Define the directory where to install modules after compilation."
@@ -350,6 +356,18 @@ foreach module (${modules})
        cat ${LOG_DIR}/make_${module}.log | awk 'substr($0,0,1)!=" " {print ""} {printf $0} END {print ""}' | grep ": warning" | sed s@"^${module_src}/src/"@@
     endif
     #########################################################
+    # perform make dev_docs step if -t flag is given
+    #########################################################
+    if ( $is_tui == 1 && $sts == 0 && -d ${module_build}/doc ) then
+       cd ${module_build}/doc
+       set dd=`cat Makefile | grep -E "dev_docs[[:space:]]*:"`
+       if ( "$dd" != "" ) then
+           echo "... Performing make dev_docs"
+           make dev_docs >& ${LOG_DIR}/make_dev_docs_${module}.log
+       endif
+    endif
+    cd ${module_build}
+    #########################################################
     # perform make if -i or -p flags are given
     #########################################################
     if ( $is_install == 1 && $sts == 0 || "${module}" == "KERNEL" ) then