Clauses for gh-pages update
This commit is contained in:
parent
14be9caf2c
commit
4012f5a3a4
|
@ -1,5 +1,15 @@
|
||||||
all: out
|
all: out
|
||||||
|
|
||||||
|
pages:
|
||||||
|
git clone -b gh-pages ../.. pages
|
||||||
|
|
||||||
|
publish: out pages
|
||||||
|
cp -r out/marketplace/. pages/.
|
||||||
|
(cd pages; git add -A)
|
||||||
|
-(cd pages; git commit -m "Update $$(date +%Y%m%d%H%M%S)")
|
||||||
|
(cd pages; git push)
|
||||||
|
rm -rf pages
|
||||||
|
|
||||||
out:
|
out:
|
||||||
raco scribble \
|
raco scribble \
|
||||||
--htmls \
|
--htmls \
|
||||||
|
@ -10,4 +20,4 @@ out:
|
||||||
marketplace.scrbl
|
marketplace.scrbl
|
||||||
|
|
||||||
clean:
|
clean:
|
||||||
rm -rf out
|
rm -rf out
|
||||||
|
|
Loading…
Reference in New Issue