annotate website/www/make.bat @ 7962:828f79ae965b

doc: update links and docs on checking links Add timeout for link checking so make linkcheck completes. Document grep command to use to filter broken links to external links. Fix PostgreSQL links to point to current pages. Fix pyreadline3 link. Fix vim po file plugin link Use wayback machine for zpi internationalization link.
author John Rouillard <rouilj@ieee.org>
date Mon, 13 May 2024 18:42:26 -0400
parents 3a851df879cd
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5016
bcec10953ae8 website: Use path-independent way of Sphinx evoking
anatoly techtonik <techtonik@gmail.com>
parents: 4820
diff changeset
1 @rem python -m pip install sphinx
bcec10953ae8 website: Use path-independent way of Sphinx evoking
anatoly techtonik <techtonik@gmail.com>
parents: 4820
diff changeset
2
bcec10953ae8 website: Use path-independent way of Sphinx evoking
anatoly techtonik <techtonik@gmail.com>
parents: 4820
diff changeset
3 python -m sphinx . html

Roundup Issue Tracker: http://roundup-tracker.org/