curl/.github/scripts
Daniel Stenberg eefcc1bda4
docs: introduce "curldown" for libcurl man page format
curldown is this new file format for libcurl man pages. It is markdown
inspired with differences:

- Each file has a set of leading headers with meta-data
- Supports a small subset of markdown
- Uses .md file extensions for editors/IDE/GitHub to treat them nicely
- Generates man pages very similar to the previous ones
- Generates man pages that still convert nicely to HTML on the website
- Detects and highlights mentions of curl symbols automatically (when
  their man page section is specified)

tools:

- cd2nroff: converts from curldown to nroff man page
- nroff2cd: convert an (old) nroff man page to curldown
- cdall: convert many nroff pages to curldown versions
- cd2cd: verifies and updates a curldown to latest curldown

This setup generates .3 versions of all the curldown versions at build time.

CI:

Since the documentation is now technically markdown in the eyes of many
things, the CI runs many more tests and checks on this documentation,
including proselint, link checkers and tests that make sure we capitalize the
first letter after a period...

Closes #12730
2024-01-23 00:29:02 +01:00
..
cleanspell.pl docs: introduce "curldown" for libcurl man page format 2024-01-23 00:29:02 +01:00
codespell-ignore.txt CI: codespell 2023-11-23 13:07:26 +01:00
spellcheck.words docs: introduce "curldown" for libcurl man page format 2024-01-23 00:29:02 +01:00
spellcheck.yaml tidy-up: fix yamllint whitespace issues 2023-12-06 17:25:59 +00:00
verify-examples.pl docs: introduce "curldown" for libcurl man page format 2024-01-23 00:29:02 +01:00
verify-synopsis.pl tidy-up: whitespace 2023-12-08 03:28:50 +00:00