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 7265c5e6..ffe9c281 100644 --- a/GNUmakefile +++ b/GNUmakefile | |||
| @@ -19,7 +19,7 @@ | |||
| 19 | 19 | ||
| 20 | include config.mk | 20 | include config.mk |
| 21 | 21 | ||
| 22 | all: css locale template | 22 | all: locale template |
| 23 | ($(cp) rendered/static/robots.txt rendered/robots.txt) | 23 | ($(cp) rendered/static/robots.txt rendered/robots.txt) |
| 24 | ($(cp) rendered/static/stage.robots.txt rendered/stage.robots.txt) | 24 | ($(cp) rendered/static/stage.robots.txt rendered/stage.robots.txt) |
| 25 | ($(cp) rendered/static/robots.txt rendered/dist/robots.txt) | 25 | ($(cp) rendered/static/robots.txt rendered/dist/robots.txt) |