Permalink
Browse files

Fixed <base> bug in publishing to github

  • Loading branch information...
1 parent c8a639d commit 8be7423d43c333a66983ad4faac3878e340996a2 @netj committed May 17, 2012
Showing with 5 additions and 1 deletion.
  1. +5 −1 ui/publish-to-github.sh
View
@@ -14,10 +14,14 @@ make -C ..
# copy everything built here
rsync -avc --delete --exclude=/.git \
- ../dist/smallgraphs/. gh-pages/.
+ ../@prefix@/smallgraphs/. gh-pages/.
# add changes, commit
cd gh-pages
+
+grep -v "<base .*>" <index.html >index.html.fix
+mv -f index.html.fix index.html
+
git add .
git add -u
git commit

0 comments on commit 8be7423

Please sign in to comment.