Correct installation of pg_rman.1 to $PGINSTALL/share/man/man1

Michael Paquier · Michael Paquier · commit f6cc608c43e7 · 2014-01-13T19:41:59.000+09:00
This is to avoid to have to define several paths for MANPATH for a user
or a distribution.
diff --git a/Makefile b/Makefile
@@ -65,8 +65,8 @@ docs:
 install: install-man
 
 install-man:
-	$(MKDIR_P) '$(DESTDIR)$(docdir)/$(docmoduledir)/man1/'
-	$(INSTALL_DATA) $(man_DOCS) '$(DESTDIR)$(docdir)/$(docmoduledir)/man1/'
+	$(MKDIR_P) '$(DESTDIR)$(mandir)/man1/'
+	$(INSTALL_DATA) $(man_DOCS) '$(DESTDIR)$(mandir)/man1/'
 endif # XMLTO
 endif # ASCIIDOC
 
