]> git.ipfire.org Git - thirdparty/curl.git/commit
gen.pl: insert the current date and version in generated man page
authorDaniel Stenberg <daniel@haxx.se>
Mon, 27 Sep 2021 14:47:04 +0000 (16:47 +0200)
committerDaniel Stenberg <daniel@haxx.se>
Mon, 27 Sep 2021 20:35:48 +0000 (22:35 +0200)
commit15910dfd143dda791a7a3e7d515fa54c7183637a
treeba281be8a90b3368e46abe68938e9b1aba35153c
parent1ddfa8e4809f4364ea7323026136ce8d0b0c6cff
gen.pl: insert the current date and version in generated man page

Reported-by: Gisle Vanem
Ref: #7780
Closes #7782
docs/cmdline-opts/gen.pl
docs/cmdline-opts/page-header