comparison make/make.sh @ 58:8f5d75ee17f2

Add a --short option to make/make.sh
author Rob Landley <rob@landley.net>
date Mon, 01 Oct 2007 22:38:27 -0500
parents 7fa04e9d3e4b
children 86151d3b2003
comparison
equal deleted inserted replaced
57:999825a029ee 58:8f5d75ee17f2
86 cp -a $LNXDIR/hg/Documentation $WEBDIR/Documentation 86 cp -a $LNXDIR/hg/Documentation $WEBDIR/Documentation
87 cd $WEBDIR 87 cd $WEBDIR
88 cat make/patches/*.patch | patch -p1 88 cat make/patches/*.patch | patch -p1
89 make/docdiridx.py 89 make/docdiridx.py
90 90
91 [ "$1" == "--short" ] && exit 1
92
91 echo Build htmldocs and xhtml-nochunks 93 echo Build htmldocs and xhtml-nochunks
92 94
93 rm -rf $LNXDIR/temp 95 rm -rf $LNXDIR/temp
94 cd $LNXDIR/hg 96 cd $LNXDIR/hg
95 mkdir $LNXDIR/temp 97 mkdir $LNXDIR/temp