[Pkg-ocaml-maint-commits] [dose3] branch master updated (5224809 -> b27a439)
Johannes Schauer
josch at moszumanska.debian.org
Tue Sep 1 06:57:47 UTC 2015
This is an automated email from the git hooks/post-receive script.
josch pushed a change to branch master
in repository dose3.
from 5224809 NEWS: changes in output format
new e4665d4 update debian/dose-distcheck.NEWS with more content
new 6cc7dfc Imported Upstream version 4.0.1
new 0ae8461 Merge tag 'upstream/4.0.1'
new 641fe4f adapt debian/changelog for new upstream release
new b60029a upstream dropped doc/webpages directory so remove debian/missing-sources and the corresponding sections from debian/copyright
new aac6e89 remove patch make-doc-target-work as upstream fixed this
new 669d3eb bump version requirement for libextlib-ocaml-dev to 1.7.0 because upstream requires implementation for custom exit values if wrong command line options are passed
new b27a439 restructure debian/changelog for new upstream release and close #797448
The 8 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails. The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.
Summary of changes:
META.in | 28 +-
Makefile | 2 +-
Makefile.config.in | 2 +-
_tags.in | 4 +-
configure | 32 +-
configure.ac | 2 +-
debian/changelog | 15 +-
debian/control | 2 +-
debian/copyright | 33 -
debian/dose-distcheck.NEWS | 37 +-
debian/missing-sources/bootstrap.js | 1951 ------
debian/missing-sources/jquery-2.1.3.js | 9205 ---------------------------
debian/patches/make-doc-target-work | 22 -
debian/patches/series | 1 -
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 +-
50 files changed, 101 insertions(+), 13312 deletions(-)
delete mode 100644 debian/missing-sources/bootstrap.js
delete mode 100644 debian/missing-sources/jquery-2.1.3.js
delete mode 100644 debian/patches/make-doc-target-work
delete mode 100644 doc/webpages/IkiWiki/Plugin/bibtex.pm
delete mode 100644 doc/webpages/IkiWiki/Plugin/bootmenu.pm
delete mode 100644 doc/webpages/Makefile
delete mode 100644 doc/webpages/README
delete mode 100755 doc/webpages/extract-manpages.py
delete mode 100755 doc/webpages/extract-ocamldoc.py
delete mode 100755 doc/webpages/extract-primer.py
delete mode 100644 doc/webpages/local.setup
delete mode 100644 doc/webpages/src/biblio.bib
delete mode 100644 doc/webpages/src/contacts.mdwn
delete mode 100644 doc/webpages/src/css/bootstrap.min.css
delete mode 100644 doc/webpages/src/css/styles.css
delete mode 100644 doc/webpages/src/devel.mdwn
delete mode 100644 doc/webpages/src/documentation.mdwn
delete mode 100644 doc/webpages/src/download.mdwn
delete mode 100644 doc/webpages/src/faq.mdwn
delete mode 100644 doc/webpages/src/index.mdwn
delete mode 100644 doc/webpages/src/install.mdwn
delete mode 100644 doc/webpages/src/js/bootstrap.min.js
delete mode 100644 doc/webpages/src/js/jquery-2.1.3.min.js
delete mode 100644 doc/webpages/src/js/npm.js
delete mode 100644 doc/webpages/src/js/scripts.js
delete mode 100644 doc/webpages/src/man.mdwn
delete mode 100644 doc/webpages/src/quickstart.mdwn
delete mode 100644 doc/webpages/src/related.mdwn
delete mode 100644 doc/webpages/src/tutorials.mdwn
delete mode 100644 doc/webpages/src/tutorials/cudf.mdwn
delete mode 100644 doc/webpages/src/tutorials/interpreter.mdwn
delete mode 100644 doc/webpages/src/tutorials/python.mdwn
delete mode 100644 doc/webpages/src/tutorials/shell.mdwn
delete mode 100644 doc/webpages/templates/bibentry.tmpl
delete mode 100644 doc/webpages/templates/bibfile.tmpl
delete mode 100644 doc/webpages/templates/homepage.tmpl
delete mode 100644 doc/webpages/templates/page.tmpl
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.git
More information about the Pkg-ocaml-maint-commits
mailing list