diff options
Diffstat (limited to 'release/docu')
| -rwxr-xr-x | release/docu | 38 |
1 files changed, 38 insertions, 0 deletions
diff --git a/release/docu b/release/docu new file mode 100755 index 0000000..0e589dc --- /dev/null +++ b/release/docu @@ -0,0 +1,38 @@ +CDPATH= + +adir=`dirname $0` +adir=`cd $adir && pwd` +files=`cd $1 && find . -type f -path "*doc*index.docbook"` +for f in $files; do + ( + dir=`dirname $f` + + # is it cached ? + if test -f $adir/cache/$1/$dir/index.cache.bz2; then + cp $adir/cache/$1/$dir/index.cache.bz2 $1/$dir + fi + + cd $1/$dir + echo `pwd` + + if test ! -f index.cache.bz2; then + + if test ! -x "`which meinproc`"; then + echo "" + echo "!!! No meinproc found. No docu generated.. !!!"; + echo "" + else + echo Running `which meinproc` --cache index.cache.bz2 index.docbook + meinproc --cache index.cache.bz2 index.docbook + mkdir -p $adir/cache/$1/$dir + cp index.cache.bz2 $adir/cache/$1/$dir/ + if test "$?" != 0; then + echo $1/$f >> $adir/source/FAILED + fi + fi + fi + ) +done + +# make sure we leave no corefiles behind +find $1 -type f -name "core" | xargs rm -f |