version 1.2, 2000/01/19 06:41:02 |
version 1.4, 2004/02/24 07:32:10 |
|
|
#!/bin/sh |
#!/bin/sh |
# $OpenXM$ |
# $OpenXM: OpenXM/src/kan96xx/Doc/printOnlineHelp,v 1.3 2003/09/07 08:58:03 takayama Exp $ |
/bin/rm -f onlinehelp.tex |
/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 |
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 |
LOAD_SM1_PATH=../../../lib/sm1 |
export LOAD_SM1_PATH |
export LOAD_SM1_PATH |
../Kan/sm1 -q -s "[(parse) (printhelp.sm1) pushfile] extension printOnlineHelp quit" >>onlinehelp.tex |
../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 |
|
|