diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 19a79353..4a1aa38a 100644 --- a/GNUmakefile +++ b/GNUmakefile | |||
| @@ -27,6 +27,7 @@ all: css locale template | |||
| 27 | $(cp) rendered/static/robots.txt rendered/$$lang/robots.txt ; \ | 27 | $(cp) rendered/static/robots.txt rendered/$$lang/robots.txt ; \ |
| 28 | done) | 28 | done) |
| 29 | ($(python) inc/make_sitemap.py -i rendered) | 29 | ($(python) inc/make_sitemap.py -i rendered) |
| 30 | ($(cp) sitemap.xml rendered/sitemap.xml) | ||
| 30 | ($(cp) sitemap.xml rendered/en/sitemap.xml) | 31 | ($(cp) sitemap.xml rendered/en/sitemap.xml) |
| 31 | ($(cp) static/moved.html rendered/frontpage.html) | 32 | ($(cp) static/moved.html rendered/frontpage.html) |
| 32 | (cd rendered; $(ln) -fs frontpage.html frontpage) | 33 | (cd rendered; $(ln) -fs frontpage.html frontpage) |