Skip to content

Commit 5c16af0

Browse files
add comment about autogeneration
1 parent b6b3863 commit 5c16af0

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

docs/source/command_line.rst

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -767,6 +767,11 @@ of the above sections.
767767
over time.
768768

769769
.. include:: strict_list.rst
770+
..
771+
The above file is autogenerated and included during html generation.
772+
(That's an include directive, and this is a comment.)
773+
It would be fine to generate it at some other time instead,
774+
theoreticaly, but we already had a convenient hook during html gen.
770775
771776

772777
.. option:: --disable-error-code

0 commit comments

Comments
 (0)