diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index 84fbfeea..1473444c 100644 --- a/GNUmakefile +++ b/GNUmakefile | |||
@@ -29,8 +29,8 @@ all: css locale template | |||
29 | $(cp) favicon.ico rendered/favicon.ico | 29 | $(cp) favicon.ico rendered/favicon.ico |
30 | $(sh) make_sitemap.sh | 30 | $(sh) make_sitemap.sh |
31 | $(cp) rendered/sitemap.xml rendered/en/sitemap.xml | 31 | $(cp) rendered/sitemap.xml rendered/en/sitemap.xml |
32 | $(cp) rss.xml rendered/rss.xml | 32 | # $(cp) rss.xml rendered/rss.xml |
33 | (for lang in en de es fr it ; do $(cp) rss.xml rendered/$$lang/rss.xml; done) | 33 | # (for lang in en de es fr it ; do $(cp) rss.xml rendered/$$lang/rss.xml; done) |
34 | $(cp) static/moved.html rendered/frontpage.html | 34 | $(cp) static/moved.html rendered/frontpage.html |
35 | cd rendered; $(ln) -fs frontpage.html frontpage | 35 | cd rendered; $(ln) -fs frontpage.html frontpage |
36 | $(cp) static/moved_gsoc.html rendered/gsoc.html | 36 | $(cp) static/moved_gsoc.html rendered/gsoc.html |