Remove unused script ps_to_jpg.sh

diff --git a/doc/infosrc/Makefile b/doc/infosrc/Makefile
index bd5a87159f1c60b14c3290952f462f3605109c9a..394f18b04cf8671bcfcfe459cdba45550105e2c6 100644 (file)
--- a/doc/infosrc/Makefile
+++ b/doc/infosrc/Makefile
@@ -2,7 +2,6 @@
 # Generator for on-line documentation.
 #
 # Required tools: cc, dot, awk, ksh, yacc, gs, python.
-#  gs and awk are used in ps_to_jpg.sh
 #  dot is used in mkarrows.sh, mkshapes.sh, mkstyles.sh, mktapers.sh, mksplines.sh
 #  ps_to_png.sh and other make rules rely on netpbm tools 
 #  and ps2raster, which is part of the GMT library.
@@ -218,7 +217,7 @@ distclean : clean
 
 EXTRA_DIST = $(XGIF) mklang.y mkarrows.sh mkattrs.sh mkshapes.sh mkstyles.sh mktapers.sh \
              mktypes.sh mkarrowtbl.sh mkoutput.sh mkshhtml.sh \
-                ps_to_jpg.sh ps_to_png.sh arrow_grammar grammar html_grammar \
+                  ps_to_png.sh arrow_grammar grammar html_grammar \
              shapelist attrs.1 colors.1 colors.n \
              output.1 output.2 html.1 html.2 html1.dot html.3 \
              shapes.1 shapes.2 shapes.3 lang.1 lang.2 arrows.1 arrows.2 \

diff --git a/doc/infosrc/ps_to_jpg.sh b/doc/infosrc/ps_to_jpg.sh
deleted file mode 100755 (executable)
index 0932591..0000000
--- a/doc/infosrc/ps_to_jpg.sh
+++ /dev/null
@@ -1,3 +0,0 @@
-#! /bin/ksh
-
-gs -g$(grep PageBoundingBox $1 | awk -f sz.awk) -sDEVICE=jpeg -sOutputFile=$2  -dNOPAUSE -dBATCH $1 > /dev/null