File: euktopdf

package info (click to toggle)
eukleides 1.5.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 684 kB
  • sloc: ansic: 6,966; yacc: 1,780; makefile: 273; lex: 208; sh: 134; perl: 43
file content (60 lines) | stat: -rwxr-xr-x 1,739 bytes parent folder | download | duplicates (8)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
#!/bin/bash
#
#  Eukleides version 1.5.4
#  Copyright (c) Christian Obrecht 2004-2010
#
#  This program is free software; you can redistribute it and/or modify
#  it under the terms of the GNU General Public License as published by
#  the Free Software Foundation; either version 3 of the License, or
#  (at your option) any later version.
#
#  This program is distributed in the hope that it will be useful,
#  but WITHOUT ANY WARRANTY; without even the implied warranty of
#  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
#  GNU General Public License for more details.
#
#  You should have received a copy of the GNU General Public License
#  along with this program; if not, write to the Free Software
#  Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
#

if [ ! $1 ]
then
    echo "Missing file name. Exiting." > /dev/stderr
    exit 1
fi

src=$(expr $1 : '\(.*\)\.[^.]*' '|' $1)

for f in $src-fig*.euk
do
  if [ ! -e $f ]
  then
    echo "No figure files for '$1'. Exiting." > /dev/stderr
    exit 1
  fi
  base=$(expr $f : '\(.*\)\.euk')
  tex=$base.tex
  echo "\\documentclass{article}" > $tex &&
  if [ -e $src.pac ]
  then
    cat $src.pac >> $tex
  fi &&
  echo "\\usepackage{pstricks,pst-eps}" >> $tex &&
  echo "\\nofiles" >> $tex &&
  echo "\\pagestyle{empty}" >> $tex &&
  echo "\\begin{document}" >> $tex &&
  echo "\\TeXtoEPS" >> $tex &&
  euktopst -b -o $f >> $tex &&
  echo "\\endTeXtoEPS" >> $tex &&
  echo "\\end{document}" >> $tex &&
  latex -interaction=nonstopmode $tex > /dev/null
  if [ $? -ne 0 ]
  then
    echo "LaTeX error: please check '$base.log'." > /dev/stderr
    exit 1
  fi
  dvips -q -E -o $base.eps $base.dvi &&
  epstopdf $base.eps &&
  rm -f $base.{tex,log,dvi,eps}
done