diff options
| author | Zalathar <Zalathar@users.noreply.github.com> | 2024-10-29 17:39:13 +1100 |
|---|---|---|
| committer | Zalathar <Zalathar@users.noreply.github.com> | 2024-10-29 17:39:13 +1100 |
| commit | 6f82a952986bae1c2a21d439af7a3f7d86008e06 (patch) | |
| tree | 2b6c1936873446cd62dd5a808421e8b32468d106 /src/etc/htmldocck.py | |
| parent | 3f1be1ec7ec3d8e80beb381ee82164a0aa3ca777 (diff) | |
| download | rust-6f82a952986bae1c2a21d439af7a3f7d86008e06.tar.gz rust-6f82a952986bae1c2a21d439af7a3f7d86008e06.zip | |
Rename `command-list.rs` to `directive-list.rs`
Diffstat (limited to 'src/etc/htmldocck.py')
| -rwxr-xr-x | src/etc/htmldocck.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/etc/htmldocck.py b/src/etc/htmldocck.py index 599e1e8102c..851b01a7458 100755 --- a/src/etc/htmldocck.py +++ b/src/etc/htmldocck.py @@ -250,7 +250,7 @@ def get_known_directive_names(): os.path.join( # We go back to `src`. os.path.dirname(os.path.dirname(__file__)), - "tools/compiletest/src/command-list.rs", + "tools/compiletest/src/directive-list.rs", ), "r", encoding="utf8" |
