diff options
| -rwxr-xr-x | model_doc/latex2svg.sh | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/model_doc/latex2svg.sh b/model_doc/latex2svg.sh index 4a216a4..76260da 100755 --- a/model_doc/latex2svg.sh +++ b/model_doc/latex2svg.sh @@ -1,5 +1,15 @@ #!/bin/bash +if [ $# -eq 1 ] +then + : +else + echo $# + echo "Usage $0 <base name>" + exit +fi + + # you need gs-common, pstoedit and skencil to # get this script working export BASENAME="`basename $1 .tex`"; @@ -26,3 +36,4 @@ echo -e return "\"\c" >${BASENAME}.info cat ${BASENAME}.svg | sed -e ':a;N;$!ba;s/\n//g' -e 's/\"/\\\"/g' >>${BASENAME}.info echo \"\; >>${BASENAME}.info + |