summaryrefslogtreecommitdiff
path: root/glafp-utils
diff options
context:
space:
mode:
authorrrt <unknown>2000-05-12 15:45:48 +0000
committerrrt <unknown>2000-05-12 15:45:48 +0000
commite77791e6e846695667804565875b4305f4ff5b0e (patch)
tree5fe4660cf9cc186a2f5f0047f89790bc5eaaa091 /glafp-utils
parentb36d01c87fa805dfcf0a9b8cfc3038418139aeed (diff)
downloadhaskell-e77791e6e846695667804565875b4305f4ff5b0e.tar.gz
[project @ 2000-05-12 15:45:48 by rrt]
db2html is now produced from db2html.sh
Diffstat (limited to 'glafp-utils')
-rw-r--r--glafp-utils/docbook/LICENSE5
-rw-r--r--glafp-utils/docbook/db2dvi3
-rw-r--r--glafp-utils/docbook/db2html82
-rw-r--r--glafp-utils/docbook/db2ps6
-rw-r--r--glafp-utils/docbook/db2rtf10
5 files changed, 3 insertions, 103 deletions
diff --git a/glafp-utils/docbook/LICENSE b/glafp-utils/docbook/LICENSE
index 52b20136de..95818b2ef2 100644
--- a/glafp-utils/docbook/LICENSE
+++ b/glafp-utils/docbook/LICENSE
@@ -1,2 +1,3 @@
-These files are copyright Cygnus Solutions, and distributed under the GNU
-General Public License.
+The db* files are copyright Cygnus Solutions and the GHC Team, and
+distributed under the GNU General Public License. They're derived from the
+Cygnus DocBook tools scripts.
diff --git a/glafp-utils/docbook/db2dvi b/glafp-utils/docbook/db2dvi
index abcbca52d5..e18bc5ecd9 100644
--- a/glafp-utils/docbook/db2dvi
+++ b/glafp-utils/docbook/db2dvi
@@ -1,8 +1,5 @@
#! /bin/sh
-DB_STYLESHEET=$SGML_TOP/stylesheets/cygnus-both.dsl
-ADMON_GRAPHICS=$SGML_TOP/stylesheets/nwalsh-modular/images/*.gif
-
# Dave Mason's option to specify a different stylesheet
case $1 in
-d) DB_STYLESHEET=$2
diff --git a/glafp-utils/docbook/db2html b/glafp-utils/docbook/db2html
deleted file mode 100644
index ebda4fff3b..0000000000
--- a/glafp-utils/docbook/db2html
+++ /dev/null
@@ -1,82 +0,0 @@
-#! /bin/sh
-
-DB_STYLESHEET=$SGML_TOP/stylesheets/cygnus-both.dsl
-HTML_STYLESHEET=$SGML_TOP/stylesheets/nwalsh-modular/test/docbook.css
-ADMON_GRAPHICS=$SGML_TOP/stylesheets/nwalsh-modular/images/*.gif
-
-output=db2html-dir
-TMPDIR=DBTOHTML_OUTPUT_DIR$$
-
-echo TMPDIR is $TMPDIR
-
-# Dave Mason's option to specify a different stylesheet
-case $1 in
- -d) DB_STYLESHEET=$2
- shift 2
- ;;
-esac
-
-echo "Using stylesheet: \"${DB_STYLESHEET}\""
-
-if [ $# -gt 2 ]
-then
- echo "Usage: `basename $0` [filename.sgml]" >&2
- exit 1
-fi
-
-if [ $# -eq 1 ]
-then
- if [ ! -r $1 ]
- then
- echo Cannot read \"$1\". Exiting. >&2
- exit 1
- fi
- if echo $1 | egrep -i '\.sgml$|\.sgm$' >/dev/null 2>&1
- then
- # now make sure that the output directory is always a subdirectory
- # of hte current directory
- echo
- input_file=`basename $1`
- output="`echo $input_file | sed 's,\.sgml$,,;s,\.sgm$,,'`"
- echo "input file was called $input_file -- output will be in $output"
- echo
- fi
-fi
-
-# we used to generate a single file, but with the modular DB_STYLESHEETs
-# it's best to make a new directory with several html files in it
-#cat $* | jade -d $DB_STYLESHEET -t sgml -V nochunks > $TMPFN
-
-mkdir $TMPDIR
-SAVE_PWD=`pwd`
-if [ $1 = `basename $1` ]; then
- echo "working on ../$1"
- (cd $TMPDIR; jade -t sgml -ihtml -d ${DB_STYLESHEET}\#html ../$1; cd $SAVE_PWD)
-else
- echo "working on $1"
- (cd $TMPDIR; jade -t sgml -ihtml -d ${DB_STYLESHEET}\#html $1; cd $SAVE_PWD)
-fi
-
-if [ $# -eq 1 ]
-then
- if [ -d ${output}.junk ]
- then
- /bin/rm -rf ${output}.junk
- fi
- if [ -d ${output} ]
- then
- mv $output ${output}.junk
- fi
- echo "about to copy cascading stylesheet and admon graphics to temp dir"
- cp ${HTML_STYLESHEET} ${TMPDIR}/
- mkdir ${TMPDIR}/stylesheet-images
- cp ${ADMON_GRAPHICS} ${TMPDIR}/stylesheet-images
- echo "about to rename temporary directory to $output"
- mv ${TMPDIR} $output
-else
- cat $TMPDIR/*
-fi
-
-rm -rf $TMPDIR
-
-exit 0
diff --git a/glafp-utils/docbook/db2ps b/glafp-utils/docbook/db2ps
index 92128529b0..9cbe5f4087 100644
--- a/glafp-utils/docbook/db2ps
+++ b/glafp-utils/docbook/db2ps
@@ -33,9 +33,6 @@ then
fi
fi
-#rm -f ${TMPFN}.dvi
-#cat $* | db2dvi > ${TMPFN}.dvi
-
db2dvi $1
if [ ! -f ${TMPFN}.dvi ]
@@ -43,9 +40,6 @@ then
exit 1
fi
-
-# dvips ${TMPFN}.dvi
-
dvips $outdvi -o $output
if [ -f ${TMPFN}.ps ]
diff --git a/glafp-utils/docbook/db2rtf b/glafp-utils/docbook/db2rtf
index 786f415f9a..98128740e8 100644
--- a/glafp-utils/docbook/db2rtf
+++ b/glafp-utils/docbook/db2rtf
@@ -1,13 +1,6 @@
#! /bin/sh
-DB_STYLESHEET=$SGML_TOP/stylesheets/cygnus-both.dsl
-ADMON_GRAPHICS=$SGML_TOP/stylesheets/nwalsh-modular/images/*.gif
-
output=db2rtf.rtf
-#TMPFN=db2rtf$$.rtf
-
-# setting SGML_CATALOG_FILES should be done in the Makefile at build time
-# of jade but I set it here anyway in case someone forgets.
# Dave Mason's option to specify a different stylesheet
case $1 in
@@ -37,9 +30,6 @@ then
fi
fi
-### echo "about to copy admon graphics to this dir"
-### cp ${ADMON_GRAPHICS} .
-
cat $* | jade -t rtf -d ${DB_STYLESHEET}\#print
if [ $# -eq 1 ]