| 1 | From: Jakub Jirutka <[email protected]>
|
| 2 | Date: Thu, 28 Oct 2021 01:27:53 +0200
|
| 3 | Subject: [PATCH] Disable HTML docs, install only man pages
|
| 4 |
|
| 5 | HTML docs are big and they are available only anyway.
|
| 6 |
|
| 7 | diff --git a/doc/src/sgml/Makefile b/doc/src/sgml/Makefile
|
| 8 | index 11aac91..9f7aa7d 100644
|
| 9 | |
| 10 | |
| 11 | @@ -16,7 +16,7 @@
|
| 12 | # to want to use.
|
| 13 | html:
|
| 14 | # Note that all is *not* the default target in this directory
|
| 15 | -all: html man
|
| 16 | +all: man
|
| 17 |
|
| 18 | # We don't need the tree-wide headers or install support here.
|
| 19 | NO_GENERATED_HEADERS=yes
|
| 20 | @@ -208,14 +208,14 @@ check: postgres.sgml $(ALL_SGML) check-tabs check-nbsp
|
| 21 | ## Install
|
| 22 | ##
|
| 23 |
|
| 24 | -install: install-html install-man
|
| 25 | +install: install-man
|
| 26 |
|
| 27 | installdirs:
|
| 28 | - $(MKDIR_P) '$(DESTDIR)$(htmldir)'/html $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
|
| 29 | + $(MKDIR_P) $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
|
| 30 |
|
| 31 | # If the install used a man directory shared with other applications, this will remove all files.
|
| 32 | uninstall:
|
| 33 | - rm -f '$(DESTDIR)$(htmldir)/html/'* $(addprefix '$(DESTDIR)$(mandir)'/man, 1/* 3/* $(sqlmansectnum)/*)
|
| 34 | + rm -f $(addprefix '$(DESTDIR)$(mandir)'/man, 1/* 3/* $(sqlmansectnum)/*)
|
| 35 |
|
| 36 |
|
| 37 | ## Install html
|