root-files = $(OUT)/.htaccess \
$(OUT)/website/.htaccess \
$(OUT)/website/favicon.ico \
+ $(OUT)/website/tweets.xml \
$(OUT)/website/robots.txt
texinfo-files = $(OUT)/index.html $(WEB_LANGS:%=$(OUT)/%/index.html)
$(OUT)/website/robots.txt: $(SERVER_FILES)/robots.txt
cp $< $@
+$(OUT)/website/tweets.xml: $(SERVER_FILES)/tweets.xml
+ cp $< $@
+
$(OUT)/.htaccess: $(top-htaccess)
cp $< $@