github pages does not support symlinks

gbv · May 23, 2012 · b71019f · b71019f
1 parent 5145e3a
commit b71019f
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Makefile b/Makefile
@@ -14,8 +14,7 @@ revision: paia.html
 
 website: revision
 	git checkout gh-pages
-	rm paia.html
-	ln -s paia-${REVSHRT}.html paia.html
+	echo '<meta HTTP-EQUIV="REFRESH" content="0; url=paia-${REVSHRT}.html">' > paia.html
 	git add paia.html paia-${REVSHRT}.html
 	git commit -m "added revision ${REVSHRT}"
 	git checkout master