romenskiy2012/curl
1
0
Fork 0
mirror of https://github.com/curl/curl.git synced 2026-08-24 21:13:40 +03:00
Code Issues Projects Releases Packages Wiki Activity

gen.pl: add '%GLOBALS' as a variable for mainpage

Browse source 
And use it in page-header to list all global command line options.
This commit is contained in:
Daniel Stenberg 2023-02-21 17:17:49 +01:00
parent 86ec17b856
commit ddff8ef706
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
3 changed files with 39 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
docs/cmdline-opts/Makefile.am
View file

@ -37,5 +37,5 @@ GN_ = $(GN_0)
all: $(MANPAGE)
$(MANPAGE): $(DPAGES) $(OTHERPAGES) Makefile.inc
$(MANPAGE): $(DPAGES) $(OTHERPAGES) Makefile.inc gen.pl
$(GEN)(rm -f $(MANPAGE) && cd $(srcdir) && @PERL@ ./gen.pl mainpage $(DPAGES) > $(builddir)/manpage.tmp && mv $(builddir)/manpage.tmp $(MANPAGE))