debian/0000755000000000000000000000000012247303642007171 5ustar debian/gbp.conf0000644000000000000000000000003612247303642010607 0ustar [DEFAULT] pristine-tar = True debian/compat0000644000000000000000000000000212247303642010367 0ustar 7 debian/changelog0000644000000000000000000000712212247303642011045 0ustar hevea-doc (2.09-1) unstable; urgency=low * New upstream version. * Standards-Version 3.9.5 (no change) -- Ralf Treinen Tue, 03 Dec 2013 08:25:56 +0100 hevea-doc (2.06-2) unstable; urgency=low * upload to unstable. -- Ralf Treinen Mon, 06 May 2013 21:13:49 +0200 hevea-doc (2.06-1) experimental; urgency=low * New upstream version. -- Ralf Treinen Tue, 23 Apr 2013 08:44:35 +0200 hevea-doc (2.02-1) experimental; urgency=low * New upstream release. * Standards-Version 3.9.4 (no change) -- Ralf Treinen Thu, 31 Jan 2013 09:30:47 +0100 hevea-doc (2.00-1) experimental; urgency=low [ Stefano Zacchiroli ] * removes myself from Uploaders [ Sylvain Le Gall ] * Remove Sylvain Le Gall from uploaders [ Ralf Treinen ] * New upstream release. * Standards-Version 3.9.3 - debian/copyright: migrate to machine-readable format 1.0 * migrate to dh(1): - rewrite debian/rules - add debian/hevea-doc/{links,dirs,install} - debian/control: bump version in build-dependency on debhelper -- Ralf Treinen Thu, 04 Oct 2012 20:07:48 +0200 hevea-doc (1.10-3) unstable; urgency=low [ Ralf Treinen ] * debian/control: Added Homepage field. * Add dependency on ${misc:Depends} * DH compatibility level 7 - debian/rules: dh_clean-k => dh_prep * Standards-Version 3.8.3 (no change) * Changed doc-base section to Typesetting * debian/copyright: added copyright of INRIA * debian source format 3.0 (quilt) [ Stefano Zacchiroli ] * fix vcs-svn field to point just above the debian/ dir [ Stephane Glondu ] * Switch packaging to git -- Ralf Treinen Sun, 03 Jan 2010 09:41:19 +0100 hevea-doc (1.10-2) unstable; urgency=low * Upload to unstable. * Setting Maintainer to debian-ocaml-maint. -- Ralf Treinen Thu, 30 Aug 2007 20:51:21 +0200 hevea-doc (1.10-1) experimental; urgency=low * Fixed url in debian/watch. * New upstream release. -- Ralf Treinen Tue, 28 Aug 2007 09:50:36 +0200 hevea-doc (1.09-1) unstable; urgency=low * New upstream release. * Build-depends on debhelper instead of build-depends-indep. * Bumped Standards-Version to 3.7.2 (no change). -- Ralf Treinen Sat, 11 Nov 2006 15:33:28 +0100 hevea-doc (1.08-1) unstable; urgency=low * New upsteam release. * Added debian/watch. * Bumped up dependency on debhelper to >= 4.0. -- Ralf Treinen Sun, 5 Jun 2005 19:13:20 +0200 hevea-doc (1.07-1) unstable; urgency=low * New upstream release. * Upstream now ships fddl.html. Remove it from the diff. * Install html files in /usr/share/doc/hevea/html, symlink from /usr/share/doc/hevea-doc/html (closes: Bug#214586). -- Ralf Treinen Thu, 9 Oct 2003 20:50:14 +0200 hevea-doc (1.06-2) unstable; urgency=low * Standards-Version 3.6.1. * File debian/compat instead of DH_COMPAT variable. * debhelper compatibility level 4. * More detailed long description (closes: Bug#209535). -- Ralf Treinen Mon, 22 Sep 2003 21:54:38 +0200 hevea-doc (1.06-1) unstable; urgency=low * Initial Release (closes: Bug#147335). This has to go into non-free since the copyright heavily restricts modifications. * Added the licence file fddl.html as downloaded from the hevea home page at http://pauillac.inria.fr/~maranget/hevea/doc/fddl.html since upstream forgot to put it into the tarball. -- Ralf Treinen Sat, 18 May 2002 10:26:43 +0200 debian/hevea-doc.dirs0000644000000000000000000000006312247303642011706 0ustar /usr/share/doc/hevea/html /usr/share/doc/hevea-doc debian/rules0000755000000000000000000000011012247303642010241 0ustar #!/usr/bin/make -f %: dh $@ override_dh_auto_build: # nothing to do! debian/copyright0000644000000000000000000000525312247303642011131 0ustar Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0/ Upstream-Name: hevea-manual Upstream-Contact: Luc Maranget Source: http://hevea.inria.fr/distri/ Files: * Copyright: Copyright 1998-2012 Institut National de Recherche en Informatique et Automatique License: FDDL-1 Files: debian/* Copyright: 2000-2012 Ralf Treinen License: FDDL-1 License: FDDL-1 Free Document Dissemination Licence -- FDDL version 1 . This document may be freely read, stored, reproduced, disseminated, translated or quoted by any means and on any medium provided the following conditions are met: . * every reader or user of this document acknowledges that he his aware that no guarantee is given regarding its contents, on any account, and specifically concerning veracity, accuracy and fitness for any purpose; . * no modification is made other than cosmetic, change of representation format, translation, correction of obvious syntactic errors, or as permitted by the clauses below; . * comments and other additions may be inserted, provided they clearly appear as such; translations or fragments must clearly refer to an original complete version, preferably one that is easily accessed whenever possible; . * translations, comments and other additions must be dated and their author(s) must be identifiable (possibly via an alias); . * this licence is preserved and applies to the whole document with modifications and additions (except for brief quotes), independently of the representation format; . * whatever the mode of storage, reproduction or dissemination, anyone able to access a digitized version of this document must be able to make a digitized copy in a format directly usable, and if possible editable, according to accepted, and publicly documented, public standards; . * redistributing this document to a third party requires simultaneous redistribution of this licence, without modification, and in particular without any further condition or restriction, expressed or implied, related or not to this redistribution. In particular, in case of inclusion in a database or collection, the owner or the manager of the database or the collection renounces any right related to this inclusion and concerning the possible uses of the document after extraction from the database or the collection, whether alone or in relation with other documents. . Any incompatibility of the above clauses with legal, contractual or judiciary decisions or constraints implies a corresponding limitation of reading, usage, or redistribution rights for this document, verbatim or modified. debian/watch0000644000000000000000000000011012247303642010212 0ustar version=2 http://hevea.inria.fr/distri/hevea-([0-9\.]*)-manual\.tar\.gz debian/hevea-doc.install0000644000000000000000000000006312247303642012413 0ustar *.html *.gif *.png *.css /usr/share/doc/hevea/html debian/control0000644000000000000000000000143012247303642010572 0ustar Source: hevea-doc Section: non-free/doc Priority: optional Maintainer: Debian OCaml Maintainers Uploaders: Ralf Treinen , Remi Vanicat , Samuel Mimram Build-Depends: debhelper (>= 7.0.50~) Standards-Version: 3.9.5 Vcs-Git: git://git.debian.org/git/pkg-ocaml-maint/packages/hevea-doc.git Vcs-Browser: http://git.debian.org/?p=pkg-ocaml-maint/packages/hevea-doc.git Homepage: http://hevea.inria.fr Package: hevea-doc Architecture: all Depends: ${misc:Depends} Recommends: hevea, www-browser Description: HeVeA documentation HeVeA is a powerful and efficient translator from LaTeX to HTML (and other formats). . This package contains the tutorial and the reference manual in HTML format. debian/hevea-doc.links0000644000000000000000000000007012247303642012063 0ustar /usr/share/doc/hevea/html /usr/share/doc/hevea-doc/html debian/doc-base.hevea0000644000000000000000000000037112247303642011661 0ustar Document: hevea Title: HeVeA Manual Author: Luc Maranget Abstract: Tutorial and reference manual of HeVeA, a LaTeX to HTML translator. Section: Typesetting Format: HTML Index: /usr/share/doc/hevea/html/index.html Files: /usr/share/doc/hevea/html/* debian/source/0000755000000000000000000000000012247303642010471 5ustar debian/source/format0000644000000000000000000000001412247303642011677 0ustar 3.0 (quilt)