annotate website/www/make.bat @ 8346:107761be1e75

docs: issue2551398 document enabling native browser number/integer types The original default was to have them enabled. Due to issues with locale (e.g. decimal thousands separator vs comma seperator) this is disabled by default. See issue for details.
author John Rouillard <rouilj@ieee.org>
date Wed, 25 Jun 2025 23:10:56 -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/