gen_docu: fix missing attributes, show generation time at the end

diff --git a/scripts/gen_docu.py b/scripts/gen_docu.py
index cd142cc..4baa211 100755 (executable)
--- a/scripts/gen_docu.py
+++ b/scripts/gen_docu.py
@@ -3,7 +3,7 @@ import sys
 import re
 import docutils.core
 import docutils.writers.html4css1
-from subprocess import Popen, PIPE
+from datetime import datetime
 from jinja2 import Environment, Template
 from jinja2.filters import do_dictsort
 from spec_util import is_dynamic_pinned, verify_node, isAbstract, setdefault
@@ -76,7 +76,7 @@ docu_template = env.from_string(
                                        {% endfor %}
                                        </dl>
                                        {% endif %}
-                                       {% if node.attributes %}
+                                       {% if node.attrs %}
                                        <h5>Attributes</h5>
                                        <dl>
                                        {% for attr in node.attrs %}
@@ -104,6 +104,9 @@ docu_template = env.from_string(
                        </div>
                </div>
                </div>
+               <div class="footer">
+                       Generated {{time}}
+               </div>
        </body>
 </html>
 ''')
@@ -125,6 +128,7 @@ def prepare_nodes():
 
 def main(argv):
        real_nodes = prepare_nodes()
-       sys.stdout.write(docu_template.render(nodes = real_nodes))
+       time = datetime.now().replace(microsecond=0).isoformat(' ')
+       sys.stdout.write(docu_template.render(nodes = real_nodes, time=time))
 
 main(sys.argv)

diff --git a/scripts/style.css b/scripts/style.css
index 24ba055..53927f2 100644 (file)
--- a/scripts/style.css
+++ b/scripts/style.css
@@ -70,6 +70,18 @@ div.sidebar input {
        font-size: 1em;
 }
 
+div.footer {
+       width: 940px;
+       margin: 20px auto 30px auto;
+       font-size: 14px;
+       color: #888;
+       text-align: right;
+}
+
+div.footer a {
+       color: #888;
+}
+
 a {
        color: #aa0000;
        text-decoration: underline;