diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/tools/index-python | 5 | ||||
| -rwxr-xr-x | doc/tools/index-texi | 5 | ||||
| -rw-r--r-- | doc/tools/toc-python | 5 |
3 files changed, 0 insertions, 15 deletions
diff --git a/doc/tools/index-python b/doc/tools/index-python index 96cfcd8f..2a91e372 100644 --- a/doc/tools/index-python +++ b/doc/tools/index-python @@ -45,8 +45,3 @@ sub dehtml return $str; } - -# Local Variables: -# mode: perl -# fill-column: 120 -# End: diff --git a/doc/tools/index-texi b/doc/tools/index-texi index 8aa85184..8bd02dd9 100755 --- a/doc/tools/index-texi +++ b/doc/tools/index-texi @@ -53,8 +53,3 @@ sub dehtml return $str; } - -# Local Variables: -# mode: perl -# fill-column: 120 -# End: diff --git a/doc/tools/toc-python b/doc/tools/toc-python index c91cdcf2..7564787a 100644 --- a/doc/tools/toc-python +++ b/doc/tools/toc-python @@ -50,8 +50,3 @@ sub dehtml return $str; } - -# Local Variables: -# mode: perl -# fill-column: 120 -# End: |