diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/Makefile | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile new file mode 100644 index 0000000..aee3cc0 --- /dev/null +++ b/doc/Makefile @@ -0,0 +1,16 @@ +#---------------------------------------------------------------------------- +# +# PostgreSQL documentation top-level makefile +# +# Copyright (c) 1994, Regents of the University of California +# +# doc/Makefile +# +#---------------------------------------------------------------------------- + +subdir = doc +top_builddir = .. +include $(top_builddir)/src/Makefile.global + +all distprep html man install installdirs uninstall clean distclean maintainer-clean: + $(MAKE) -C src $@ |