Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Newer
Older
100644 28 lines (21 sloc) 0.367 kb
5f7cfb5 @nikodemus webifying the manual to github pages
authored
1 .PHONY: doc web wc clean all test
2
3 all:
4 echo "Targets: clean, wc, doc, test, web"
5
6 clean:
7 rm -f *.fasl *~
8 make -C doc clean
9 make -C web clean
10
11 wc:
12 wc -l *.lisp
13
14 doc:
15 make -C doc
16
3921b05 @nikodemus sorting out the doc generation
authored
17 web: doc
5f7cfb5 @nikodemus webifying the manual to github pages
authored
18 make -C web
19
20 gh-pages: web
21 rm -rf web-tmp
22 mv web web-tmp
23 git checkout gh-pages
686f81c @nikodemus webfification tweak
authored
24 cp web-tmp/index.html .
5f7cfb5 @nikodemus webifying the manual to github pages
authored
25 git commit -a -c master
26 mv web-tmp web
27 git checkout -f master
Something went wrong with that request. Please try again.