remove junk in makefile.push_doc

This commit is contained in:
Simon Cruanes 2014-12-19 20:54:38 +01:00
parent f1b3ff64c9
commit b6f60c6af6

View file

@ -54,10 +54,6 @@ examples: all
push_doc: doc push_doc: doc
scp -r containers.docdir/* cedeela.fr:~/simon/root/software/containers/ scp -r containers.docdir/* cedeela.fr:~/simon/root/software/containers/
scp -r containers_string.docdir/* cedeela.fr:~/simon/root/software/containers/string/
scp -r containers_advanced.docdir/* cedeela.fr:~/simon/root/software/containers/advanced
scp -r containers_misc.docdir/* cedeela.fr:~/simon/root/software/containers/misc/
scp -r containers_lwt.docdir/* cedeela.fr:~/simon/root/software/containers/lwt/
DONTTEST=myocamlbuild.ml setup.ml $(wildcard src/**/*.cppo.*) DONTTEST=myocamlbuild.ml setup.ml $(wildcard src/**/*.cppo.*)
QTESTABLE=$(filter-out $(DONTTEST), \ QTESTABLE=$(filter-out $(DONTTEST), \