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

scripts/managen: the new name and home for the manpage generator

Browse source 
It was previously docs/cmdline-opts/gen.pl

Closes #13089
This commit is contained in:
Daniel Stenberg 2024-03-08 11:22:12 +01:00
parent 39173f66e5
commit 1ccf1cd993
No known key found for this signature in database
GPG key ID: 5CC908FDB71E12C2
7 changed files with 26 additions and 17 deletions
Download patch file Download diff file Expand all files Collapse all files

2
scripts/Makefile.am
View file

@ -23,7 +23,7 @@
###########################################################################
EXTRA_DIST = coverage.sh completion.pl firefox-db2pem.sh checksrc.pl \
mk-ca-bundle.pl schemetable.c cd2nroff nroff2cd cdall cd2cd
mk-ca-bundle.pl schemetable.c cd2nroff nroff2cd cdall cd2cd managen
ZSH_FUNCTIONS_DIR = @ZSH_FUNCTIONS_DIR@
FISH_FUNCTIONS_DIR = @FISH_FUNCTIONS_DIR@

1122
scripts/managen Executable file
View file

File diff suppressed because it is too large Load diff