add gh-pages doc generation to makefile

This commit is contained in:
Simon Cruanes 2016-08-22 10:15:37 +02:00
parent 913cfcacea
commit 656565c195

View file

@ -55,6 +55,13 @@ examples: all
push_doc: doc push_doc: doc
rsync -tavu containers.docdir/* cedeela.fr:~/simon/root/software/containers/ rsync -tavu containers.docdir/* cedeela.fr:~/simon/root/software/containers/
push_doc_gh: doc
git checkout gh-pages && \
rm -rf dev/ && \
mkdir -p dev && \
cp -r containers.docdir/* dev/ && \
git add --all dev
DONTTEST=myocamlbuild.ml setup.ml $(wildcard src/**/*.cppo.*) DONTTEST=myocamlbuild.ml setup.ml $(wildcard src/**/*.cppo.*)
QTESTABLE=$(filter-out $(DONTTEST), \ QTESTABLE=$(filter-out $(DONTTEST), \
$(wildcard src/core/*.ml) \ $(wildcard src/core/*.ml) \