diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale-development.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ale-development.txt b/doc/ale-development.txt index bcbe2c7f..841371c7 100644 --- a/doc/ale-development.txt +++ b/doc/ale-development.txt @@ -196,7 +196,7 @@ margin. For example, if you add a heading for an `aardvark` tool to ======================================== Badly aligned tags follow: - doc/ale-python.txt:aardvark *ale-python-aardvark* + doc/ale-python.txt:aardvark ... ======================================== Look for table of contents issues ======================================== |