| 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 | @@ -26,9 +26,9 @@
|
| 10 | include $(top_builddir)/src/Makefile.global
|
| 11 |
|
| 12 |
|
| 13 | -all: html man
|
| 14 | +all: man
|
| 15 |
|
| 16 | -distprep: html distprep-man
|
| 17 | +distprep: distprep-man
|
| 18 |
|
| 19 |
|
| 20 | ifndef DBTOEPUB
|
| 21 | @@ -220,14 +220,14 @@
|
| 22 | ## Install
|
| 23 | ##
|
| 24 |
|
| 25 | -install: install-html install-man
|
| 26 | +install: install-man
|
| 27 |
|
| 28 | installdirs:
|
| 29 | - $(MKDIR_P) '$(DESTDIR)$(htmldir)'/html $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
|
| 30 | + $(MKDIR_P) $(addprefix '$(DESTDIR)$(mandir)'/man, 1 3 $(sqlmansectnum))
|
| 31 |
|
| 32 | # If the install used a man directory shared with other applications, this will remove all files.
|
| 33 | uninstall:
|
| 34 | - rm -f '$(DESTDIR)$(htmldir)/html/'* $(addprefix '$(DESTDIR)$(mandir)'/man, 1/* 3/* $(sqlmansectnum)/*)
|
| 35 | + rm -f $(addprefix '$(DESTDIR)$(mandir)'/man, 1/* 3/* $(sqlmansectnum)/*)
|
| 36 |
|
| 37 |
|
| 38 | ## Install html
|