about summary refs log tree commit diff
path: root/src/etc/htmldocck.py
diff options
context:
space:
mode:
authorLeón Orell Valerian Liehr <me@fmease.dev>2024-07-19 16:46:03 +0200
committerLeón Orell Valerian Liehr <me@fmease.dev>2024-07-19 16:54:16 +0200
commit25be41cfb8c2fa1c59b8193b68801a75f5603d8f (patch)
tree51bb746b446f8c74ab4b23a9177e184a8ac7128e /src/etc/htmldocck.py
parent11e57241f166194a328438d9264b68c98a18d51f (diff)
downloadrust-25be41cfb8c2fa1c59b8193b68801a75f5603d8f.tar.gz
rust-25be41cfb8c2fa1c59b8193b68801a75f5603d8f.zip
Update jsondocck directives to follow ui_test-style
Diffstat (limited to 'src/etc/htmldocck.py')
-rwxr-xr-xsrc/etc/htmldocck.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/etc/htmldocck.py b/src/etc/htmldocck.py
index 3d7ead99282..599e1e8102c 100755
--- a/src/etc/htmldocck.py
+++ b/src/etc/htmldocck.py
@@ -266,6 +266,7 @@ def get_known_directive_names():
 # To prevent duplicating the list of commmands between `compiletest` and `htmldocck`, we put
 # it into a common file which is included in rust code and parsed here.
 # FIXME: This setup is temporary until we figure out how to improve this situation.
+#        See <https://github.com/rust-lang/rust/issues/125813#issuecomment-2141953780>.
 KNOWN_DIRECTIVE_NAMES = get_known_directive_names()
 
 LINE_PATTERN = re.compile(r'''