| Server IP : 82.208.35.60 / Your IP : 216.73.216.89 Web Server : Apache/2.4.55 (FreeBSD) OpenSSL/1.1.1q-freebsd PHP/7.3.31 System : FreeBSD server7.d2m.cz 12.4-RELEASE-p9 FreeBSD 12.4-RELEASE-p9 GENERIC amd64 User : studiokobylisy_cz ( 1008) PHP Version : 7.3.31 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /usr/ports/databases/postgresql10-server/files/ |
Upload File : |
--- doc/src/sgml/Makefile.orig 2017-08-07 23:08:19.000000000 +0200 +++ doc/src/sgml/Makefile 2017-08-08 14:07:11.461380000 +0200 @@ -15,7 +15,7 @@ # Make "html" the default target, since that is what most people tend # to want to use. -html: +man: NO_TEMP_INSTALL=yes @@ -24,7 +24,7 @@ include $(top_builddir)/src/Makefile.global -all: html man +all: man distprep: html distprep-man @@ -76,8 +76,6 @@ ## Man pages ## -man distprep-man: man-stamp - man-stamp: stylesheet-man.xsl postgres.xml $(XMLLINT) --noout --valid postgres.xml $(XSLTPROC) $(XSLTPROCFLAGS) $(XSLTPROC_MAN_FLAGS) $^ @@ -245,10 +243,10 @@ ## Install ## -install: install-html install-man +install: install-man installdirs: - $(MKDIR_P) '$(DESTDIR)$(htmldir)'/html $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum)) + $(MKDIR_P) $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum)) # If the install used a man directory shared with other applications, this will remove all files. uninstall: