[Pkg-ocaml-maint-commits] r3255 - in
/trunk/packages/hevea/trunk/debian: changelog
examples/bibtex/Makefile examples/bibtex/context.tex
examples/bibtex/rewriting.bib manpages/bibhva.1 manpages/esponja.1
manpages/hacha.1 manpages/hevea.1 manpages/imagen.1
treinen at users.alioth.debian.org
treinen at users.alioth.debian.org
Fri Oct 20 20:27:00 UTC 2006
Author: treinen
Date: Fri Oct 20 20:26:59 2006
New Revision: 3255
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/?sc=1&rev=3255
Log:
hevea 1.09-1 almost ready. it remains to check whether manpage is still
up to date
Added:
trunk/packages/hevea/trunk/debian/manpages/bibhva.1
Modified:
trunk/packages/hevea/trunk/debian/changelog
trunk/packages/hevea/trunk/debian/examples/bibtex/Makefile
trunk/packages/hevea/trunk/debian/examples/bibtex/context.tex
trunk/packages/hevea/trunk/debian/examples/bibtex/rewriting.bib
trunk/packages/hevea/trunk/debian/manpages/esponja.1
trunk/packages/hevea/trunk/debian/manpages/hacha.1
trunk/packages/hevea/trunk/debian/manpages/hevea.1
trunk/packages/hevea/trunk/debian/manpages/imagen.1
Modified: trunk/packages/hevea/trunk/debian/changelog
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/changelog?rev=3255&op=diff
==============================================================================
--- trunk/packages/hevea/trunk/debian/changelog (original)
+++ trunk/packages/hevea/trunk/debian/changelog Fri Oct 20 20:26:59 2006
@@ -1,10 +1,16 @@
hevea (1.09-1) unstable; urgency=low
- * New upstream release (close: #394133)
+ * New upstream release (closes: Bug#394133)
* updated upstream url in debian/control (package description) and
debian/watch.
-
- -- Ralf Treinen <treinen at debian.org> Tue, 17 Oct 2006 10:45:24 +0200
+ * Adapted patches to new upstream version.
+ * Added manpage for bibhva.
+ * Updated url of HeVeA homepage in manpages.
+ * examples/bibtex: put all needed crossrefs and abbreviations into
+ rewriting.bib; replace iso8859-1 characters by portable latex; fix
+ Makefile to use bibhva and to uncompress rewriting.bib when necessary
+
+ -- Ralf Treinen <treinen at debian.org> Fri, 20 Oct 2006 22:11:32 +0200
hevea (1.08-5) unstable; urgency=low
Modified: trunk/packages/hevea/trunk/debian/examples/bibtex/Makefile
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/examples/bibtex/Makefile?rev=3255&op=diff
==============================================================================
--- trunk/packages/hevea/trunk/debian/examples/bibtex/Makefile (original)
+++ trunk/packages/hevea/trunk/debian/examples/bibtex/Makefile Fri Oct 20 20:26:59 2006
@@ -1,17 +1,22 @@
-context.html: context.tex context.bbl
- latex context
- hevea context.tex
+context.html: context.tex context.hbbl
+ hevea -fix context.tex
-context.bbl: context.tex rewriting.bib
- latex context
- bibtex context
+context.hbbl: context.tex rewriting.bib
+ hevea context
+ bibhva context
+
+rewriting.bib: rewriting.bib.gz
+ gunzip -c rewriting.bib.gz > rewriting.bib
context.ps: context.dvi
dvips -o context.ps context.dvi
context.dvi: context.tex context.bbl
latex context
+ bibtex context
+ latex context
+ -(grep -q "Rerun" context.log && latex context)
-(grep -q "Rerun" context.log && latex context)
clean:
- rm -f *.ps *.dvi *.html *.aux *.haux *log *.blg *.bbl
+ rm -f *.ps *.dvi *.html *.aux *.haux *log *.blg *.bbl *.hbbl
Modified: trunk/packages/hevea/trunk/debian/examples/bibtex/context.tex
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/examples/bibtex/context.tex?rev=3255&op=diff
==============================================================================
--- trunk/packages/hevea/trunk/debian/examples/bibtex/context.tex (original)
+++ trunk/packages/hevea/trunk/debian/examples/bibtex/context.tex Fri Oct 20 20:26:59 2006
@@ -70,6 +70,6 @@
\nocite{Schauss:cisrep99}
\bibliographystyle{alpha}
-\bibliography{abbrevs,rewriting,crossrefs}
+\bibliography{rewriting}
\end{document}
Modified: trunk/packages/hevea/trunk/debian/examples/bibtex/rewriting.bib
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/examples/bibtex/rewriting.bib?rev=3255&op=diff
==============================================================================
--- trunk/packages/hevea/trunk/debian/examples/bibtex/rewriting.bib (original)
+++ trunk/packages/hevea/trunk/debian/examples/bibtex/rewriting.bib Fri Oct 20 20:26:59 2006
@@ -1,3 +1,7 @@
+ at string{jsc={Journal of Symblic Computation}}
+ at string{springer={Springer Verlag}}
+ at string{lncs={Lecture Notes in Computer Science}}
+
@Article{Makanin:77,
author = "G. S. Makanin",
title = "The Problem of Solvability of Equations in a Free
@@ -23,7 +27,7 @@
title = "Completion of Rewrite Systems with Membership Constraints",
type = "Rapport de Recherche",
number = 699,
- institution = "L.R.I., Université de Paris-Sud",
+ institution = "L.R.I., Universit\'e de Paris-Sud",
month = sep,
year = 1991
}
@@ -40,12 +44,12 @@
title = "Unification of Stratified Second-Order Terms",
type = "Internal Report",
number = "12/94",
- institution = "Johann\--Wolfgang\--Goethe\--Universität",
+ institution = {Johann\--Wolfgang\--Goethe\--Universit\"at},
address = "Frankfurt, Germany",
year = "1994",
url = "http://www.ki.informatik.uni-frankfurt.de/papers/papers/SO.ps.gz",
}
-
+g
@Article{schmidt-schauss:jsc97,
author = "Manfred Schmidt-Schau{\ss}",
title = "A Unification Algorithm for Distributivity and a
@@ -73,7 +77,7 @@
}
@Article{LevyAgust:jsc96,
- author = "Jordi Levy and Jaume Agustí",
+ author = "Jordi Levy and Jaume Agust\'\i",
title = "Bi-rewriting Systems",
journal = jsc,
year = 1996,
@@ -118,3 +122,79 @@
year = 1999,
url = "ftp://ftp.cis.uni-muenchen.de/pub/cis-berichte/CIS-Bericht-98-114.ps",
}
+
+
+ at proceedings{icalp92,
+ booktitle = "19th International Colloquium on
+ Automata, Languages and Programming",
+ title = "19th International Colloquium on
+ Automata, Languages and Programming",
+ address = "Wien, Austria",
+ editor = "Werner Kuich",
+ publisher = springer,
+ series = lncs,
+ volume = 623,
+ year = 1992,
+ month = jul,
+}
+
+ at proceedings{cade97,
+ booktitle = "14th International Conference on Automated Deduction",
+ title = "14th International Conference on Automated Deduction",
+ address = "Townsville, Australia",
+ editor = "William McClune",
+ year = 1997,
+ month = jul,
+ publisher = springer,
+ series = lnai,
+ volume = 1249
+}
+
+ at Proceedings{cade99,
+ booktitle = "16th International Conference on Automated Deduction",
+ title = "16th International Conference on Automated Deduction",
+ address = "Trento, Italy",
+ month = jul,
+ year = 1999,
+ editor = "Harald Ganzinger",
+ publisher = springer,
+ series = lnai,
+ volume = 1632
+}
+
+ at Proceedings{rta98,
+ booktitle = "\ahref{http://rewriting.loria.fr/rta/}{9th International Conference on Rewriting Techniques and Applications}",
+ title = "\ahref{http://rewriting.loria.fr/rta/}{9th International Conference on Rewriting Techniques and Applications}",
+ editor = "Tobias Nipkow",
+ publisher = springer,
+ year = 1998,
+ month = apr,
+ address = "Tsukuba, Japan",
+ series = lncs,
+ volume = 1379,
+}
+
+ at Proceedings{rta96,
+ booktitle = "\ahref{http://www.rewriting.org/rta/}{7th International Conference on Rewriting Techniques and Applications}",
+ title = "\ahref{http://www.rewriting.org/rta/}{7th International Conference on Rewriting Techniques and Applications}",
+ editor = "Harald Ganzinger",
+ publisher = springer,
+ year = 1996,
+ month = jul,
+ address = "New Brunswick, NJ, USA",
+ series = lncs,
+ volume = 1103,
+}
+
+
+ at Proceedings{rta00,
+ booktitle = "\ahref{http://rewriting.loria.fr/rta/}{Rewriting Techniques and Applications}",
+ title = "\ahref{http://rewriting.loria.fr/rta/}{Rewriting Techniques and Applications}",
+ editor = "Leo Bachmair",
+ publisher = springer,
+ series = lncs,
+ volume = 1833,
+ month = jul,
+ year = 2000,
+ address = "Norwich, UK"
+}
Added: trunk/packages/hevea/trunk/debian/manpages/bibhva.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/manpages/bibhva.1?rev=3255&op=file
==============================================================================
--- trunk/packages/hevea/trunk/debian/manpages/bibhva.1 (added)
+++ trunk/packages/hevea/trunk/debian/manpages/bibhva.1 Fri Oct 20 20:26:59 2006
@@ -1,0 +1,52 @@
+.TH HEVEA 1
+.SH NAME
+bibhva \- A BibTeX wrapper for use with HeVeA
+.SH SYNOPSIS
+.B bibhva
+.I
+.RI "[bibtex-options] <basename>"
+.SH "DESCRIPTION"
+This manual page documents briefly the
+.BR bibhva
+command.
+This manual page was written for the Debian GNU/Linux distribution
+because the original program does not have a manual page.
+.PP
+This command is a simple wrapper for calling
+.B bibtex
+for use with
+.B hevea.
+Calling
+.I bibhva basename
+runs
+.B bibtex
+on the input file
+.I basename.haux
+with output sent to the file
+.I basename.hbbl.
+.PP
+All options are forwarded to
+.B bibtex.
+
+.SH SEE ALSO
+.BR bibtex (1),
+.BR hevea (1)
+.P
+The HeVeA documentation can be found on the HeVeA home page
+.UR http://hevea.inria.fr/
+http://hevea.inria.fr/
+.UE
+On a Debian system it can also be accessed at
+\fI/usr/share/doc/hevea-doc/html\fR or through the Debian help
+system, provided the package \fIhevea-doc\fR is installed.
+
+.SH AUTHOR
+\fBBibhva\fR is written by Luc Maranget
+.UR mailto:Luc.Maranget at inria.fr
+<Luc.Maranget at inria.fr>.
+.UE
+.PP
+This manual page was written by Ralf Treinen
+.UR mailto:treinen at debian.org
+<treinen at debian.org>
+.UE
Modified: trunk/packages/hevea/trunk/debian/manpages/esponja.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/manpages/esponja.1?rev=3255&op=diff
==============================================================================
--- trunk/packages/hevea/trunk/debian/manpages/esponja.1 (original)
+++ trunk/packages/hevea/trunk/debian/manpages/esponja.1 Fri Oct 20 20:26:59 2006
@@ -36,8 +36,8 @@
.BR hevea (1).
.P
The HeVeA documentation can be found on the HeVeA home page
-.UR http://para.inria.fr/~maranget/hevea/index.html
-http://para.inria.fr/~maranget/hevea/index.html.
+.UR http://hevea.inria.fr/
+http://hevea.inria.fr/
.UE
On a Debian system it can also be accessed at
\fI/usr/share/doc/hevea-doc/html\fR or through the Debian help
Modified: trunk/packages/hevea/trunk/debian/manpages/hacha.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/manpages/hacha.1?rev=3255&op=diff
==============================================================================
--- trunk/packages/hevea/trunk/debian/manpages/hacha.1 (original)
+++ trunk/packages/hevea/trunk/debian/manpages/hacha.1 Fri Oct 20 20:26:59 2006
@@ -40,8 +40,8 @@
.BR hevea (1)
.P
The HeVeA documentation can be found on the HeVeA home page
-.UR http://para.inria.fr/~maranget/hevea/index.html
-http://para.inria.fr/~maranget/hevea/index.html.
+.UR http://hevea.inria.fr/
+http://hevea.inria.fr/
.UE
On a Debian system it can also be accessed at
\fI/usr/share/doc/hevea-doc/html\fR or through the Debian help
Modified: trunk/packages/hevea/trunk/debian/manpages/hevea.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/manpages/hevea.1?rev=3255&op=diff
==============================================================================
--- trunk/packages/hevea/trunk/debian/manpages/hevea.1 (original)
+++ trunk/packages/hevea/trunk/debian/manpages/hevea.1 Fri Oct 20 20:26:59 2006
@@ -128,8 +128,8 @@
.BR esponja (1).
.P
The HeVeA documentation can be found on the HeVeA home page
-.UR http://para.inria.fr/~maranget/hevea/index.html
-http://para.inria.fr/~maranget/hevea/index.html.
+.UR http://hevea.inria.fr/
+http://hevea.inria.fr/
.UE
On a Debian system it can also be accessed at
\fI/usr/share/doc/hevea-doc/html\fR, provided the package
Modified: trunk/packages/hevea/trunk/debian/manpages/imagen.1
URL: http://svn.debian.org/wsvn/pkg-ocaml-maint/trunk/packages/hevea/trunk/debian/manpages/imagen.1?rev=3255&op=diff
==============================================================================
--- trunk/packages/hevea/trunk/debian/manpages/imagen.1 (original)
+++ trunk/packages/hevea/trunk/debian/manpages/imagen.1 Fri Oct 20 20:26:59 2006
@@ -61,8 +61,8 @@
.BR ppmtogif (1)
.P
The HeVeA documentation can be found on the HeVeA home page
-.UR http://para.inria.fr/~maranget/hevea/index.html
-http://para.inria.fr/~maranget/hevea/index.html.
+.UR http://hevea.inria.fr/
+http://hevea.inria.fr/
.UE
On a Debian system it can also be accessed at
\fI/usr/share/doc/hevea-doc/html\fR, provided the package
More information about the Pkg-ocaml-maint-commits
mailing list