--- a/eric5_doc.py Sun Sep 29 15:54:10 2013 +0200 +++ b/eric5_doc.py Sun Sep 29 18:22:08 2013 +0200 @@ -5,7 +5,7 @@ # """ -Eric5 Documentation Generator +Eric5 Documentation Generator. This is the main Python script of the documentation generator. It is this script that gets called via the source documentation interface. @@ -135,7 +135,6 @@ """ Main entry point into the application. """ - import getopt try: