Return to printOnlineHelp CVS log | Up to [local] / OpenXM / src / kan96xx / Doc |
File: [local] / OpenXM / src / kan96xx / Doc / printOnlineHelp (download)
Revision 1.4, Tue Feb 24 07:32:10 2004 UTC (20 years, 7 months ago) by takayama
If libgmp.so* is not found, then it outputs a tex file "generation is failed." |
#!/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