This is an automated email from the git hooks/post-receive script.
josch pushed a commit to branch master
in repository dose3.
commit 0ae8461ed5bf0e851e9657355326d74104fa2784
Merge: e4665d4 6cc7dfc
Author: Johannes Schauer <jo...@debian.org>
Date: Tue Sep 1 07:38:14 2015 +0200
Merge tag 'upstream/4.0.1'
Upstream version 4.0.1
META.in | 28 +-
Makefile | 2 +-
Makefile.config.in | 2 +-
_tags.in | 4 +-
configure | 32 ++-
configure.ac | 2 +-
doc/webpages/IkiWiki/Plugin/bibtex.pm | 321 ---------------------
doc/webpages/IkiWiki/Plugin/bootmenu.pm | 118 --------
doc/webpages/Makefile | 29 --
doc/webpages/README | 101 -------
doc/webpages/extract-manpages.py | 40 ---
doc/webpages/extract-ocamldoc.py | 26 --
doc/webpages/extract-primer.py | 23 --
doc/webpages/local.setup | 417 ----------------------------
doc/webpages/src/biblio.bib | 29 --
doc/webpages/src/contacts.mdwn | 17 --
doc/webpages/src/css/bootstrap.min.css | 7 -
doc/webpages/src/css/styles.css | 113 --------
doc/webpages/src/devel.mdwn | 9 -
doc/webpages/src/documentation.mdwn | 0
doc/webpages/src/download.mdwn | 31 ---
doc/webpages/src/faq.mdwn | 23 --
doc/webpages/src/index.mdwn | 6 -
doc/webpages/src/install.mdwn | 79 ------
doc/webpages/src/js/bootstrap.min.js | 6 -
doc/webpages/src/js/jquery-2.1.3.min.js | 4 -
doc/webpages/src/js/npm.js | 13 -
doc/webpages/src/js/scripts.js | 31 ---
doc/webpages/src/man.mdwn | 38 ---
doc/webpages/src/quickstart.mdwn | 147 ----------
doc/webpages/src/related.mdwn | 39 ---
doc/webpages/src/tutorials.mdwn | 22 --
doc/webpages/src/tutorials/cudf.mdwn | 86 ------
doc/webpages/src/tutorials/interpreter.mdwn | 45 ---
doc/webpages/src/tutorials/python.mdwn | 17 --
doc/webpages/src/tutorials/shell.mdwn | 9 -
doc/webpages/templates/bibentry.tmpl | 9 -
doc/webpages/templates/bibfile.tmpl | 42 ---
doc/webpages/templates/homepage.tmpl | 97 -------
doc/webpages/templates/page.tmpl | 74 -----
dose3.odocl.in | 6 +-
doseparse/stdOptions.ml | 3 +-
42 files changed, 54 insertions(+), 2093 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.git
_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
