Warning, file /sdk/pology/doc/user/local.sh was not indexed or was modified since last indexation (in which case cross-reference links may be missing, inaccurate or erroneous).

0001 #!/bin/bash
0002 
0003 mode=$1
0004 
0005 cd $(dirname $0)
0006 utildir=../../util
0007 topdbk=top.docbook
0008 htmldir=../../doc-html/user/en_US
0009 
0010 case "$mode" in
0011 build)
0012     $utildir/docbook-build.sh $topdbk $htmldir
0013     ;;
0014 check)
0015     $utildir/docbook-check.sh $topdbk
0016     ;;
0017 *)
0018     echo -e "Usage:\n  $(basename $0) [build|check]"
0019     exit 1
0020 esac