ALLHTML = main.html

all: $(ALLHTML)

%.html: %.rst
		rst2html --language=de $< $@

push:
		rsync -zav --delete -e "ssh -p 2222" . elk.informatik.fh-augsburg.de:/srv/rtlabor/gnublin-lpc3131/gnublin-ug/

clean:
		rm -f $(ALLHTML)