annotate website/www/make.bat @ 6333:bd84f43e1d13

Fixes to mysql 2.0 conversion doc issue2551115 Werner Hunger Change default chartype from utf-8 to utf8mb4 to allow emojis etc to be represented.
author John Rouillard <rouilj@ieee.org>
date Wed, 10 Mar 2021 10:35:22 -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/