diff --git a/build-aux/__gendoc.py b/build-aux/__gendoc.py index d5583bb..818656e 100644 --- a/build-aux/__gendoc.py +++ b/build-aux/__gendoc.py @@ -46,6 +46,35 @@ import sys import os +header = ''' + + +
+''' + +footer = ''' +