annotate website/www/make.bat @ 7859:9a74dfeb8620

feat: can use escaped tokens inside quotes including quotes. Change tokenizer to support: cmd with arg "string with embedded \" double quote" works for single quotes too. Mixed quotes can skip the \" or \' escaping. Also: quoted cmds args "can include \n newline, \t tab and \r return" Added a doc example, also tests for new feature.
author John Rouillard <rouilj@ieee.org>
date Sat, 06 Apr 2024 20:37:45 -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/