include git publishing

Signed-off-by: Nico Schottelius <nico@ikn.schottelius.org>
This commit is contained in:
Nico Schottelius 2009-06-21 10:25:35 +02:00
parent d9a2db1f24
commit e4c03321f6

View file

@ -11,6 +11,7 @@ clean: all
rm -rf ${DESTDIR}
public: all
git push --mirror
rsync -av --delete ${DESTDIR} ${PUBDIR}