From 9b1ff5e87a79d405b40368ba780ae47451b3aca2 Mon Sep 17 00:00:00 2001
From: vsr <vsr@opencascade.com>
Date: Fri, 6 Oct 2006 11:17:11 +0000
Subject: [PATCH] Add -t flag for build.csh script to allow building TUI
 documentation

---
 config_files/build.csh | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)

diff --git a/config_files/build.csh b/config_files/build.csh
index 43d80bc..e91253d 100755
--- 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
-- 
2.39.2