# 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)
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
;;; checkins which aren't released. (And occasionally for internal
;;; versions, especially for internal versions off the main CVS
;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.8.9"
+"0.8.9.1"