diff options
Diffstat (limited to '')
| -rwxr-xr-x | pyblog | 4 | ||||
| -rw-r--r-- | source/googleb62a7d99e962cf5a.html | 1 |
2 files changed, 3 insertions, 2 deletions
@@ -786,7 +786,7 @@ def generate_blog(fresh=False, report_total_errors=True): continue extension = name.split(".")[-1] - if extension not in ["css", "jpg", "md", "png", "svg", "ico", "txt", + if extension not in ["css", "html", "jpg", "md", "png", "svg", "ico", "txt", "eot", "ttf", "woff", "woff2"]: continue @@ -803,7 +803,7 @@ def generate_blog(fresh=False, report_total_errors=True): anything_modified = True if srcpath == INDEXMD: continue # index will be processed separately - if extension in ["css", "jpg", "png", "svg", "ico", "txt", + if extension in ["css", "html", "jpg", "png", "svg", "ico", "txt", "eot", "ttf", "woff", "woff2"]: sys.stderr.write("copying %s\n" % relpath) shutil.copy(srcpath, dstpath) diff --git a/source/googleb62a7d99e962cf5a.html b/source/googleb62a7d99e962cf5a.html new file mode 100644 index 00000000..830d36fd --- /dev/null +++ b/source/googleb62a7d99e962cf5a.html @@ -0,0 +1 @@ +google-site-verification: googleb62a7d99e962cf5a.html
\ No newline at end of file |