1
0
mirror of https://github.com/postgres/postgres.git synced 2025-08-22 21:53:06 +03:00

Remove inclusion of the doc make. Looks like all of the man pages are

in the usual man page source directory anyway. Source tree now builds.
This commit is contained in:
Thomas G. Lockhart
1998-02-18 07:16:58 +00:00
parent 38004ce57b
commit 1aa93cbfa6

View File

@@ -4,4 +4,4 @@ all install uninstall clean:
$(MAKE) -C include $@ $(MAKE) -C include $@
$(MAKE) -C lib $@ $(MAKE) -C lib $@
$(MAKE) -C preproc $@ $(MAKE) -C preproc $@
$(MAKE) -C doc $@ # $(MAKE) -C doc $@