cmdline-opts/gen.pl: warn if mutexes: or see-also: list non-existing options
authorDaniel Stenberg <daniel@haxx.se>
Mon, 28 May 2018 12:59:37 +0000 (14:59 +0200)
committerDaniel Stenberg <daniel@haxx.se>
Mon, 28 May 2018 13:02:03 +0000 (15:02 +0200)
commit06a72880d6a1bfb1517df4b24d892eb6922de114
treee9cd44cb7aa5f4caf9172fc72172caffd6c941f8
parent7c189c66080664f48758a938d852e5d0471c3621
cmdline-opts/gen.pl: warn if mutexes: or see-also: list non-existing options
docs/cmdline-opts/gen.pl