SHELL=bash

manual-update:
	(branch=$$(git branch | grep \\\* | sed -e s/\*\ //g)	;\
	 git checkout master					;\
	 (rm -r "./ponysay" || true)				;\
	 makeinfo --html "./manuals/ponysay.texinfo"		;\
	 git add -f "./ponysay"					;\
	 git stash						;\
	 git checkout $$branch					;\
	)
	git rm "./pages/ponysay/*"
	git stash pop
	git mv "./ponysay" "./pages"
	(for file in $$(echo "./pages/ponysay/*"); do								\
	   mv $$file $${file}~;											\
	   sed -e 's/^<\/head>$$/<link rel="stylesheet" type="text\/css" href="..\/..\/info.css"><\/head>/'	\
	          < $${file}~ > $$file;										\
	   rm $${file}~;											\
	   git add $${file};											\
	 done													\
	)