| 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 | |
| 8 | |
| 9 | @@ -16,7 +16,7 @@
|
| 10 | # to want to use.
|
| 11 | html:
|
| 12 | # Note that all is *not* the default target in this directory
|
| 13 | -all: html man
|
| 14 | +all: man
|
| 15 |
|
| 16 | # We don't need the tree-wide headers or install support here.
|
| 17 | NO_GENERATED_HEADERS=yes
|
| 18 | @@ -202,14 +202,14 @@
|
| 19 | ## Install
|
| 20 | ##
|
| 21 |
|
| 22 | -install: install-html install-man
|
| 23 | +install: install-man
|
| 24 |
|
| 25 | installdirs:
|
| 26 | - $(MKDIR_P) '$(DESTDIR)$(htmldir)'/html $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
|
| 27 | + $(MKDIR_P) $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
|
| 28 |
|
| 29 | # If the install used a man directory shared with other applications, this will remove all files.
|
| 30 | uninstall:
|
| 31 | - rm -f '$(DESTDIR)$(htmldir)/html/'* $(addprefix '$(DESTDIR)$(mandir)'/man, 1/* 3/* $(sqlmansectnum)/*)
|
| 32 | + rm -f $(addprefix '$(DESTDIR)$(mandir)'/man, 1/* 3/* $(sqlmansectnum)/*)
|
| 33 |
|
| 34 |
|
| 35 | ## Install html
|