diff options
| author | Bruce Momjian <bruce@momjian.us> | 2015-05-07 10:26:08 -0400 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2015-05-07 10:26:08 -0400 |
| commit | 82ec7c95b701d18530eb4eed923a305a0d82bdaf (patch) | |
| tree | 3f0b7faf56403db68d44f67a76d5c85e789269de | |
| parent | 1a241d22ae9f170ac32937dd053676564e58fbc3 (diff) | |
| download | postgresql-82ec7c95b701d18530eb4eed923a305a0d82bdaf.tar.gz postgresql-82ec7c95b701d18530eb4eed923a305a0d82bdaf.zip | |
Makefile: Add comment that doc uninstall clears man directories
Report by Mario Valdez
| -rw-r--r-- | doc/src/sgml/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile index 8bdd26ce28e..f04e57246df 100644 --- a/doc/src/sgml/Makefile +++ b/doc/src/sgml/Makefile @@ -331,6 +331,7 @@ endif installdirs: $(MKDIR_P) '$(DESTDIR)$(htmldir)'/html $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum)) +# If the install used a man directory shared with other applications, this will remove all files. uninstall: rm -f '$(DESTDIR)$(htmldir)/html/'* $(addprefix '$(DESTDIR)$(mandir)'/man, 1/* 3/* $(sqlmansectnum)/*) |