diff options
| author | Jean Abou-Samra <jean@abou-samra.fr> | 2023-02-23 13:44:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-23 13:44:22 +0100 |
| commit | e589fee754a76e9600dcb42baaeb3372d9e163d7 (patch) | |
| tree | 34a4a1bef36b0d1b65b8925e9751a9ee3bdc7281 /scripts/gen_mapfiles.py | |
| parent | 1e85f7c2ad2edfeae7f0c566163931324f64f949 (diff) | |
| download | pygments-git-e589fee754a76e9600dcb42baaeb3372d9e163d7.tar.gz | |
Replace Makefile with tox (#2331)
Porting notes:
- tox handles Python environments automatically. Remove a bit of PYTHONPATH
manipulation (that was using Python 2 code which always failed!)
- No `clean` target: `git clean -xdf` should fit the bill.
- No `reindent` target: the `reindent.py` script it was using does not
exist (anymore?).
- No equivalent of tox-test-coverage, which was an artifact of the past,
using nose. Instead, the test-coverage target only is ported, which
uses pytest, and works.
Diffstat (limited to 'scripts/gen_mapfiles.py')
| -rw-r--r-- | scripts/gen_mapfiles.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gen_mapfiles.py b/scripts/gen_mapfiles.py index 0b2f2e9c..bb434e11 100644 --- a/scripts/gen_mapfiles.py +++ b/scripts/gen_mapfiles.py @@ -39,7 +39,7 @@ def main(): lines.sort() new_dict = '\n'.join(lines) content = f'''# Automatically generated by scripts/gen_mapfiles.py. -# DO NOT EDIT BY HAND; run `make mapfiles` instead. +# DO NOT EDIT BY HAND; run `tox -e mapfiles` instead. {key.upper()} = {{ {new_dict} |