Added an extension element API
[xuriella.git] / doc / GNUmakefile
blob28a6a83523be2ce5f65a84529155dbd1988c4ce1
1 USER=dlichteblau
3 all: index.html installation.html
5 %.html: %.xml index.xsl
6 xsltproc index.xsl $< >$@.tmp
7 mv $@.tmp $@
8 chmod -w $@
10 .PHONY: push
11 push: all
12 scp index.html index.css $(USER)@common-lisp.net:/project/xuriella/public_html/xuriella/