docs: try to rebuild curl.1 if missing

curl · Jan 30, 2024 · f6f281f · f6f281f
1 parent 2cde0a6
commit f6f281f
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/docs/Makefile b/docs/Makefile
@@ -276,6 +276,9 @@ optionsall.html: _optionsall.html optionsall.gen
 optionsall.gen: $(DOCROOT)/options-in-versions alloptions.pl
 	./alloptions.pl $< > $@
 
+$(SRCROOT)/docs/curl.1:
+	cd $(DOCROOT) && make
+
 mandump.gen: $(SRCROOT)/docs/curl.1
 	 $(MAN2HTML) < $< > mandump.gen