diff options
Diffstat (limited to 'doc/genindex.rst')
-rw-r--r-- | doc/genindex.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/genindex.rst b/doc/genindex.rst index c07da40d1..d4fc2f48f 100644 --- a/doc/genindex.rst +++ b/doc/genindex.rst @@ -1,4 +1,4 @@ -.. This file is a placeholder and will be replaced +.. # This file is a placeholder and will be replaced Index ##### |