Adding fonts directory to resources.
authorFredrik Unger <fred@tree.se>
Mon, 4 Jun 2012 10:47:31 +0000 (12:47 +0200)
committerFredrik Unger <fred@tree.se>
Mon, 4 Jun 2012 10:47:31 +0000 (12:47 +0200)
This is to include fonts to a site, puting the fonts in a separate
directory than the css.

treecutter/sitemap.py

index e85c6906c831ddd9a6b69ac827ae1c93096f46cd..e7a2e4b3b99a0c8e7cee21f8e2c11f53073f4601 100644 (file)
@@ -108,7 +108,7 @@ class Sitemap():
     def publish(self,output,style):
         ssh_cmd(output,"mkdir -p")
         publish(self._tmptarget, output)
-        for res in ["css","images","js","favicon.ico"]:
+        for res in ["css","images","js","fonts","favicon.ico"]:
             if (os.path.exists(style+res)):
                 publish(style+res, output)
         ssh_cmd(output,"chmod a+rx")