# Makefile for SBCL document generation
+# This file is part of the SBCL system. It was copied from UFFI and
+# placed into the public domain by the original author, Kevin
+# Rosenberg.
+
DOCFILE_BASE_DEFAULT:=user-manual
DOCFILE_EXT_DEFAULT:=xml
-# Standard docfile processing as copied from UFFI
-# Placed into public domain by author Kevin Rosenberg
-
SYSTEM:=$(shell uname)
ifeq ($(SYSTEM),Linux)
- DEBIAN=$()
- SUSE=
- REDHAT=
-
ifneq ($(shell expr "`cat /etc/issue`" : '.*Debian.*'),0)
- OS:=debian
+ # Old Debian used /usr/share/sgml/docbook, new Debian uses
+ # /usr/share/xml/docbook.
+ ifneq ($(shell expr "`ls -d /usr/share/xml`" : '.*/usr/share/xml.*'),0)
+ OS:=debian
else
+ # Evidently it's not a new-style Debian DocBook setup, ergo:
+ OS:=debian-old
+ endif
+ else
ifneq ($(shell expr "`cat /etc/issue`" : '.*SuSE.*'),0)
OS=suse
else
ifneq ($(shell expr "`cat /etc/issue`" : 'Red Hat Linux release 9'),0)
OS=redhat9
+ else
+ ifneq ($(shell expr "`cat /etc/issue`" : '.*Yarrow.*'),0)
+ OS=fedora1
+ endif
endif
endif
endif
XSLTPROC:=xsltproc
endif
-CATALOG:=`pwd`/catalog-${OS}.xml
+CATALOG:=`pwd`/catalogs/catalog-${OS}.xml
CHECK:=XML_CATALOG_FILES="$(CATALOG)" xmllint --noout --xinclude --postvalid $(DOCFILE) || exit 1
.PHONY: all