annotate website/www/make.bat @ 5175:e1e40674a0bc

Implement double-precision Number .. as an option to the 'Number' property.
author Ralf Schlatterbeck <rsc@runtux.com>
date Mon, 12 Dec 2016 13:53:47 +0100
parents bcec10953ae8
children 3a851df879cd
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 @rem python -m pip install sphinxcontrib-cheeseshop
bcec10953ae8 website: Use path-independent way of Sphinx evoking
anatoly techtonik <techtonik@gmail.com>
parents: 4820
diff changeset
3
bcec10953ae8 website: Use path-independent way of Sphinx evoking
anatoly techtonik <techtonik@gmail.com>
parents: 4820
diff changeset
4 python -m sphinx . html

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