Allow installation of documentation packages.

diff --git a/doc/Makefile b/doc/Makefile
new file mode 100644 (file)
index 0000000..c487b11
--- /dev/null
+++ b/doc/Makefile
@@ -0,0 +1,71 @@
+#----------------------------------------------------------------------------
+#
+# Makefile
+#      Postgres documentation installation makefile
+#      Thomas Lockhart
+#
+# Copyright (c) 1994, Regents of the University of California
+#
+#
+# IDENTIFICATION
+#    $Header: /cvsroot/pgsql/doc/Makefile,v 1.4 1998/03/01 20:37:44 thomas Exp $
+#
+#----------------------------------------------------------------------------
+
+PGDOCS= .
+SRCDIR= ../src
+
+TAR= tar
+
+# Pick up Makefile.global from the source area
+# This is the only resource from the code source area and is optional.
+# Actually, we want this to get Makefile.custom - thomas 1998-03-01
+
+ifneq ($(wildcard $(SRCDIR)/Makefile.global), )
+include $(SRCDIR)/Makefile.global
+endif
+
+# Hmm, made this optional but jade _really_ doesn't like them missing
+# - thomas 1998-03-01
+ifneq ($(HDSL), )
+HTMLOPTS= -d $(HDSL)
+endif
+ifneq ($(PDSL), )
+PRINTOPTS= -d $(PDSL)
+endif
+
+MODULES= admin postgres programmer tutorial user
+TARGETS= $(MODULES:%=%.html)
+
+.PRECIOUS: postgres.tex postgres.dvi
+.PHONY: install all clean distclean
+
+install::
+       $(MAKE) all
+
+all:: $(MODULES)
+
+clean::
+       rm -rf $(MODULES)
+
+distclean::
+       $(MAKE) clean
+
+#
+# Generic production rules
+#
+
+# Unpack tar file
+# Put into area pointed to by $(PGDOCS).
+## Make a local file to keep track of dependencies,
+##  if $(PGDOCS) points somewhere else.
+## Disable this for now - thomas 1998-03-01
+# Remove the contents of the target directory
+#  to replace symlinks - thomas 1998-03-01
+
+%:     %.tar.gz
+       rm -rf ./$@ $(PGDOCS)/$*
+       if test ! -d $(PGDOCS)/$* ; then mkdir $(PGDOCS)/$* ; fi
+       $(TAR) zxf $< -C $(PGDOCS)/$*
+#      touch ./$*
+