Skip to content

Commit 885c9ff

Browse files
committed
get rid of "makefile", use bash script instead
1 parent 11af129 commit 885c9ff

File tree

2 files changed

+15
-14
lines changed

2 files changed

+15
-14
lines changed

frontpage/Makefile

Lines changed: 0 additions & 14 deletions
This file was deleted.

frontpage/make_frontpage.sh

Lines changed: 15 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,15 @@
1+
CWD=$PWD
2+
3+
echo ${CWD}
4+
5+
# ALL of these must pass!
6+
cd .. && \
7+
git checkout gh-pages && \
8+
git checkout master -- README.rst && \
9+
rst2html.py --stylesheet=stylesheets/styles.css,stylesheets/pygment_trac.css,stylesheets/normalize.css,stylesheets/ie.css --link-stylesheet README.rst index.html && \
10+
rm README.rst && \
11+
git reset && \
12+
git add index.html && \
13+
git commit -m "Index.html generated." && \
14+
git checkout master && \
15+
cd ${CWD}

0 commit comments

Comments
 (0)