diff options
Diffstat (limited to 'Doc/Manual/maketoc.py')
-rw-r--r-- | Doc/Manual/maketoc.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/Manual/maketoc.py b/Doc/Manual/maketoc.py index c78bcfd13..d8c4aa759 100644 --- a/Doc/Manual/maketoc.py +++ b/Doc/Manual/maketoc.py @@ -1,4 +1,4 @@ -#!/usr/local/bin/python +#!/usr/bin/env python import sys import os @@ -12,7 +12,7 @@ print >>f, """ <TITLE>SWIG Users Manual</TITLE> </HEAD> <BODY BGCOLOR="#ffffff"> -<H1>SWIG Users Manual</H1> +<H1><a name="Contents"></a>SWIG Users Manual</H1> <p> """ |