GitLab

Remove /bin/ from /bin/rm to avoid problems with systems where it's elsewhere.

The DocBook saga continues: Look for already installed catalog first.

Update to use DOCBOOK_CATALOG to get the correct catalog.

* A shell-classic: Inserted space before ] (the lexical syntax of
  shells is always resource of miracles...)

* Made searching for a catalog a little bit more cunning: If
  SGML_CATALOG_FILES is not set, try FPTOOLS_CATALOG_FILE, then
  /usr/share/sgml/CATALOG.docbkdsl, the SuSE-Linux default, don't know
  about Red Hat, Debian, etc.  This way "make dvi html pdf ps rtf"
  works out of the box, at least for me. :-)

Put the -c flag in the right place.

Much pain in order to get the horrid heap of brokenness that is the DocBook
catalog system to work.

Changed jade to $JADE

Reorganisation to parametrise *.sh files on name of Jade, which is
now found by the configure script.

db2html now parametrised on location of files it needs (GIFs and CSS).