[BACK]Return to printOnlineHelp CVS log [TXT][DIR] 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, 3 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Changes since 1.3: +10 -2 lines 

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