-publish-old: dist
- @echo "----[ Put the documentation on the local filesystem ]----"
- rm -rf ~/public_html/gras/doc
- mkdir ~/public_html/gras/doc
- cp -r doc/html ~/public_html/gras/doc
- @echo "----[ Put the tarball @VERSION@ on the local filesystem ]----"
- cp @PACKAGE@-@VERSION@.tar.gz ~/public_html/gras/dl
- @echo "----[ Sync remote host ]----"
- make -C public_html publish
-