diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/GNUmakefile b/GNUmakefile index d29a6d41..4dc2b729 100644 --- a/GNUmakefile +++ b/GNUmakefile | |||
@@ -28,7 +28,7 @@ all: css locale template | |||
28 | (for lang in en de es fr it ; do \ | 28 | (for lang in en de es fr it ; do \ |
29 | $(cp) rendered/static/robots.txt rendered/$$lang/robots.txt ; \ | 29 | $(cp) rendered/static/robots.txt rendered/$$lang/robots.txt ; \ |
30 | done) | 30 | done) |
31 | ($(cp) favicon.ico rendered/favicon.ico) | 31 | #($(cp) favicon.ico rendered/favicon.ico) |
32 | ($(sh) make_sitemap.sh) | 32 | ($(sh) make_sitemap.sh) |
33 | ($(cp) rendered/sitemap.xml rendered/en/sitemap.xml) | 33 | ($(cp) rendered/sitemap.xml rendered/en/sitemap.xml) |
34 | ($(cp) static/moved.html rendered/frontpage.html) | 34 | ($(cp) static/moved.html rendered/frontpage.html) |