archive-gh-me/Espruino
1
0
Fork 0
mirror of https://github.com/espruino/Espruino.git synced 2025-12-08 19:06:15 +00:00
Code Issues Projects Releases Wiki Activity

remove debug print stuff

Browse Source
This commit is contained in:
Gordon Williams 2015-08-07 11:24:56 +01:00
parent 44f2fc15e9
commit cfda8a5d04
1 changed files with 0 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/build_docs.py
View File

@ -68,10 +68,8 @@ def htmlify(d):
if starStart!=False and starStart+2<idx:
l = lines[starStart:idx]
for i in range(0,len(l)):
print(i,l[i])
l[i] = "<li>"+l[i][1:]+"</li>"
lines = lines[0:starStart-1]+["<ul>"]+l+["</ul>"]+lines[idx:]
print(lines)
idx += 2+len(l)
starStart = False
d = "\n".join(lines);