#!/bin/csh -f
set thisd=`pwd`
if($?GELLMU_Dir) then
  echo "Found GELLMU_Dir: ${GELLMU_Dir} ???"
  exit
else
  setenv GELLMU_Dir `echo "$thisd" | sed -e 's/\/doc$//'`
endif
echo "Using $GELLMU_Dir"
../bin/linux/lg2h ghtml
../bin/linux/mmkg-linux glman
../bin/linux/mmkg-linux userdoc
