annotate website/www/make.bat @ 7131:efb2aa271256

Prefer use of real (gnu) tar apparently extractall() doesn't strip leading / etc from tarball. Even though the tarball should be in good form, use the safer alternative first.
author John Rouillard <rouilj@ieee.org>
date Mon, 30 Jan 2023 12:23:02 -0500
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/