diff options
| author | Jubilee <workingjubilee@gmail.com> | 2024-10-29 03:11:45 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-29 03:11:45 -0700 |
| commit | 6c5641c16b99dbf732f71368a8dadc7b843eb307 (patch) | |
| tree | 0f7501e240e3b884c501f56131ed4065efa351e0 /src/etc/htmldocck.py | |
| parent | 096363626a9d05a26c47891961b3351ce49c6ce5 (diff) | |
| parent | 6f82a952986bae1c2a21d439af7a3f7d86008e06 (diff) | |
| download | rust-6c5641c16b99dbf732f71368a8dadc7b843eb307.tar.gz rust-6c5641c16b99dbf732f71368a8dadc7b843eb307.zip | |
Rollup merge of #132313 - Zalathar:directive-list, r=jieyouxu
compiletest: Rename `command-list.rs` to `directive-list.rs` Because I forget the name of this file literally every single time I need to find and edit it. r? jieyouxu
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" |