#!/bin/sh
# $OpenXM: OpenXM/src/kan96xx/Doc/printOnlineHelp,v 1.4 2004/02/24 07:32:10 takayama Exp $
/bin/rm -f onlinehelp.tex
echo "%%% DO NOT EDIT THIS FILE. GENERATED BY Doc/printOnlineHelp" >onlinehelp.tex
echo "%%% DO NOT EDIT THIS FILE. GENERATED BY Doc/printOnlineHelp" >>onlinehelp.tex
if test $LD_LIBRARY_PATH ; then
  LD_LIBRARY_PATH=$LD_LIBRARY_PATH:$1  ;
else
  LD_LIBRARY_PATH=$1 ;
fi
export LD_LIBRARY_PATH
LOAD_SM1_PATH=../../../lib/sm1
export LOAD_SM1_PATH
../Kan/sm1 -q -s "[(parse) (printhelp.sm1) pushfile] extension printOnlineHelp quit" >>onlinehelp.tex

echo "\\documentclass{article}" >>onlinehelp.tex
echo "\\begin{document}  Generation failed. \\end{document}" >>onlinehelp.tex