changeset 52965:4ea7c868de4b

doc: make sure install target also generates html
author Mathias De Mare <mathias.de_mare@nokia.com>
date Tue, 11 Feb 2025 15:02:48 +0100
parents 209aeaed7f69
children d24d57733e6b
files doc/Makefile
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/doc/Makefile	Tue Feb 11 15:02:24 2025 +0100
+++ b/doc/Makefile	Tue Feb 11 15:02:48 2025 +0100
@@ -211,7 +211,7 @@
 	  --link-stylesheet --stylesheet-path style.css $(BUILDDIR)/$*.gendoc.txt $@
 
 .PHONY: install
-install: man
+install: man html
 	for i in $(MAN) ; do \
 	  subdir=`echo $$i | sed -n 's/^.*\.\([0-9]\)$$/man\1/p'` ; \
 	  mkdir -p "$(DESTDIR)$(MANDIR)"/$$subdir ; \