diff options
author | Peter Michael Green <plugwash@debian.org> | 2021-01-28 19:07:37 +0000 |
---|---|---|
committer | Peter Michael Green <plugwash@debian.org> | 2021-01-28 19:07:37 +0000 |
commit | b13be442cbed5e73aac1158e488a87aefb38d03f (patch) | |
tree | d57d605144790b1e1a93231b9826d403da31726c /DOC/bin/build_site.py | |
parent | edb6ffdb45648a882874a0dbad38f591b1c1f9ea (diff) | |
parent | cc17196c7586c3625ac8adf8f34838d320ffeda6 (diff) |
Merge tag 'v78' of https://github.com/joan2937/pigpio into debian
Diffstat (limited to 'DOC/bin/build_site.py')
-rwxr-xr-x | DOC/bin/build_site.py | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/DOC/bin/build_site.py b/DOC/bin/build_site.py new file mode 100755 index 0000000..c153150 --- /dev/null +++ b/DOC/bin/build_site.py @@ -0,0 +1,21 @@ +#!/usr/bin/env python3 + +import os +import sqlite3 + +db=sqlite3.connect("dbase/pigpio.sqlite") + +c=db.cursor() + +c.execute("select file_name from pigpio") + +names = c.fetchall() + +for n in names: + os.system("bin/html.py {0} >HTML/{0}.html".format(n[0])) + print(n[0]) + +c.close() + +db.close() + |