makefile 559 Bytes
Newer Older
remy.d1's avatar
remy.d1 committed
1
all:
root's avatar
root committed
2
	@/usr/local/bin/gitbook build;\
remy.d1's avatar
remy.d1 committed
3
4
5
6
	if [ $$? -gt 0 ]; then\
		echo;\
		echo "!!!!!! Build failed, probably because of missing plugins, proceeding to INSTALL";\
		echo;\
root's avatar
root committed
7
8
		/usr/local/bin/gitbook install;\
		/usr/local/bin/gitbook build;\
remy.d1's avatar
remy.d1 committed
9
10
	fi
	./correct_toc.sh _book
root's avatar
root committed
11
12
13
14
15
#	cp -rf ./include _book/gitbook/
#	rm -f _book/gitbook/style.css
#	cp -f ./include/css/isembench.css _book/gitbook/style.css
#	ln -s ../include/images/shredder.png _book/gitbook/images/shredder.png
#	./correct_title_href.sh _book
remy.d1's avatar
remy.d1 committed
16
17
18
19
20
21

clean:
	rm -rf _book

cleanall: clean
	rm -rf node_modules