--- kimwitu-doc-10a+1.orig/csginmain.c +++ kimwitu-doc-10a+1/csginmain.c @@ -3,7 +3,7 @@ #include "csgiok.h" #include "k.h" -void main() { +int main() { char *io; funnytree ft; --- kimwitu-doc-10a+1.orig/skimain.c +++ kimwitu-doc-10a+1/skimain.c @@ -3,7 +3,7 @@ #include "rk.h" extern exp x; -void main() { +int main() { yyparse(); print_exp(x); print_exp(rewrite_exp(x), base_rview); --- kimwitu-doc-10a+1.orig/csginmain.tex +++ kimwitu-doc-10a+1/csginmain.tex @@ -6,7 +6,7 @@ \L{\LB{\K{\#include}_\S{}\"csgiok.h\"\SE{}}} \L{\LB{\K{\#include}_\S{}\"k.h\"\SE{}}} \L{\LB{}} -\L{\LB{\K{void}_\V{main}()_\{}} +\L{\LB{\K{int}_\V{main}()_\{}} \L{\LB{____\K{char}_\*\V{io};}} \L{\LB{____\V{funnytree}_\V{ft};}} \L{\LB{}} --- kimwitu-doc-10a+1.orig/natsmain.c +++ kimwitu-doc-10a+1/natsmain.c @@ -2,7 +2,7 @@ #include "rk.h" nat n2, n3; -void main() { +int main() { n2 = s(s(zero())); n3 = s(n2); print_nat(rewrite_nat(ack(n3, s(n3)), base_rview)); } --- kimwitu-doc-10a+1.orig/csgoutmain.tex +++ kimwitu-doc-10a+1/csgoutmain.tex @@ -6,7 +6,7 @@ \L{\LB{\K{\#include}_\S{}\"csgiok.h\"\SE{}}} \L{\LB{\K{\#include}_\S{}\"k.h\"\SE{}}} \L{\LB{}} -\L{\LB{\K{void}_\V{main}()_\{}} +\L{\LB{\K{int}_\V{main}()_\{}} \L{\LB{____\K{char}_\*\V{io};}} \L{\LB{____\V{funnytree}_\V{ft};}} \L{\LB{}} --- kimwitu-doc-10a+1.orig/tp.man.tex +++ kimwitu-doc-10a+1/tp.man.tex @@ -39,7 +39,7 @@ \usepackage{varioref} \usepackage{xr} % ,pagebackref,hyperfigures,colorlinks -\usepackage[bookmarksnumbered,bookmarksopen,plainpages,backref]{hyperref} +\usepackage[bookmarksnumbered,bookmarksopen,plainpages,backref,colorlinks]{hyperref} \hypersetup{ pdftitle={The Term Processor Kimwitu -- Manual and Cookbook}, --- kimwitu-doc-10a+1.orig/Makefile +++ kimwitu-doc-10a+1/Makefile @@ -90,7 +90,7 @@ clean: -rm -f tp.man.aux tp.man.dvi tp.man.ilg tp.man.log tp.man.toc \ - tp.man.idx tp.man.ind + tp.man.idx tp.man.ind tm.man.tpt allsources: @echo $(ALLSOURCES) @@ -116,15 +116,19 @@ ## that the .out file is made and used (otherwise, pdflatex may use the ## .aux file generated by latex (while Making $*.ps) and do only one ## 'run') +# MPi My thumbpdf works differently .tex.pdf: - $(MAKE) $*.ps - -rm -f $*.aux - $(THUMBPDF) $*.ps + #$(MAKE) $*.ps + #-rm -f $*.aux + #$(THUMBPDF) $*.ps pdflatex '\scrollmode \input '"$*" while grep -s 'Rerun to get cross-references right' $*.log ; do \ - echo bibtex $* ; \ + bibtex $* ; \ + makeindex tp.man.idx ; \ pdflatex '\scrollmode \input '"$*" ; \ done + thumbpdf $* + pdflatex '\scrollmode \input '"$*" .dvi.ps: if grep -s 'PRINT THIS DOCUMENT IN LANDSCAPE MODE' $*.log ; then \ --- kimwitu-doc-10a+1.orig/comsub.k +++ kimwitu-doc-10a+1/comsub.k @@ -17,7 +17,7 @@ funnytree alltrees; %} -void main() { +int main() { funnytree ft, it; alltrees = (funnytree)0; --- kimwitu-doc-10a+1.orig/csgoutmain.c +++ kimwitu-doc-10a+1/csgoutmain.c @@ -3,7 +3,7 @@ #include "csgiok.h" #include "k.h" -void main() { +int main() { char *io; funnytree ft; --- kimwitu-doc-10a+1.orig/natsmain.tex +++ kimwitu-doc-10a+1/natsmain.tex @@ -5,7 +5,7 @@ \L{\LB{\K{\#include}_\S{}\"rk.h\"\SE{}}} \L{\LB{\V{nat}_\V{n2},_\V{n3};}} \L{\LB{}} -\L{\LB{\K{void}_\V{main}()_\{}} +\L{\LB{\K{int}_\V{main}()_\{}} \L{\LB{____\V{n2}_=_\V{s}(\V{s}(\V{zero}()));_\V{n3}_=_\V{s}(\V{n2});}} \L{\LB{____\V{print\_nat}(\V{rewrite\_nat}(\V{ack}(\V{n3},_\V{s}(\V{n3})),_\V{base\_rview}));}} \L{\LB{\}}} --- kimwitu-doc-10a+1.orig/knuth4.k +++ kimwitu-doc-10a+1/knuth4.k @@ -1,5 +1,5 @@ /* the main program to call the evaluations */ -void main() { +int main() { number n; n = Fraction(Moreb(Moreb(Moreb(Oneb(One()), One()), Zero()), One()), Moreb(Oneb(Zero()), One())); /* 1101.01 */ --- kimwitu-doc-10a+1.orig/knuth4.tex +++ kimwitu-doc-10a+1/knuth4.tex @@ -2,7 +2,7 @@ \File{knuth4.k},{16:16},{Jul 19 1996} \L{\LB{\C{}\1\* the main program to call the evaluations \*\1\CE{}}} -\L{\LB{\K{void}_\V{main}()_\{}} +\L{\LB{\K{int}_\V{main}()_\{}} \L{\LB{____\V{number}_\V{n};}} \L{\LB{____\V{n}_=_\V{Fraction}(\V{Moreb}(\V{Moreb}(\V{Moreb}(\V{Oneb}(\V{One}()),_\V{One}()),_\V{Zero}()),_\V{One}()),}} \L{\LB{}\Tab{16}{_\V{Moreb}(\V{Oneb}(\V{Zero}()),_\V{One}()));_\C{}\1\* 1101.01 \*\1\CE{}}} --- kimwitu-doc-10a+1.orig/comsub.tex +++ kimwitu-doc-10a+1/comsub.tex @@ -20,7 +20,7 @@ \L{\LB{\V{funnytree}_\V{alltrees};}} \L{\LB{\%\}}} \L{\LB{}} -\L{\LB{\K{void}_\V{main}()_\{}} +\L{\LB{\K{int}_\V{main}()_\{}} \L{\LB{____\V{funnytree}_\V{ft},_\V{it};}} \L{\LB{}} \L{\LB{____\V{alltrees}_=_(\V{funnytree})0;}} --- kimwitu-doc-10a+1.orig/skimain.tex +++ kimwitu-doc-10a+1/skimain.tex @@ -6,7 +6,7 @@ \L{\LB{\K{\#include}_\S{}\"rk.h\"\SE{}}} \L{\LB{\K{extern}_\V{exp}_\V{x};}} \L{\LB{}} -\L{\LB{\K{void}_\V{main}()_\{}} +\L{\LB{\K{int}_\V{main}()_\{}} \L{\LB{____\V{yyparse}();}} \L{\LB{____\V{print\_exp}(\V{x});}} \L{\LB{____\V{print\_exp}(\V{rewrite\_exp}(\V{x}),_\V{base\_rview});}} --- kimwitu-doc-10a+1.orig/debian/prerm +++ kimwitu-doc-10a+1/debian/prerm @@ -0,0 +1,8 @@ +#! /bin/sh + +set -e + +#DEBHELPER# + +exit 0 + --- kimwitu-doc-10a+1.orig/debian/README.Debian +++ kimwitu-doc-10a+1/debian/README.Debian @@ -0,0 +1,13 @@ +kimwitu-doc for Debian +---------------------- + +The kimwitu documentation is only available for version 4.5 while +kimwitu itself is already 4.6[.1]. + + -- W. Borgert , Fri, 28 Apr 2000 11:59:52 +0000 + +The documentation in fact documents 4.6.1 in spite of claiming to be +about 4.5 - Axel is obviously better than he admits. All of the user-visible +changes from 4.5 up to 4.6.1 are in the text. + + -- Michael Piefel Tue, 10 Jul 2001 11:32:43 +0200 --- kimwitu-doc-10a+1.orig/debian/changelog +++ kimwitu-doc-10a+1/debian/changelog @@ -0,0 +1,85 @@ +kimwitu-doc (10a+1-2.2) unstable; urgency=low + + * Non-maintainer upload. + * Don't ignore errors from make clean, per lintian. + * Fixed bashims in debian/rules (Closes: #484395). + * Fixed/updated doc-base section + * Updated standards version + + -- Peter Eisentraut Tue, 08 Jul 2008 19:08:20 +0200 + +kimwitu-doc (10a+1-2.1) unstable; urgency=high + + * Non-maintainer upload. + * Build-Depend on ghoscript (Closes: #430794). + + -- Amaya Rodrigo Sastre Mon, 07 Apr 2008 13:52:17 +0200 + +kimwitu-doc (10a+1-2) unstable; urgency=low + + * No HTML anymore (closes: #425895) + + -- Michael Piefel Tue, 19 Jun 2007 09:50:46 +0200 + +kimwitu-doc (10a+1-1) unstable; urgency=low + + * Repacked the upstream source to start fresh (throw out pregenerated HTML). + * Switched to a modern debhelper and updated debian/rules (closes: #395645). + * Set modern build-depends such as TeXLive (closes: #422840) + * HTML is now generated instead of copied and the latex2html embedded + (closes: #294083, #294088) + + -- Michael Piefel Thu, 10 May 2007 12:29:43 +0200 + +kimwitu-doc (10a-3) unstable; urgency=low + + * Add BibTeX call (closes:#181366) + * Add Makeindex call + * Make cleaner + + -- Michael Piefel Thu, 15 May 2003 14:45:19 +0200 + +kimwitu-doc (10a-2) unstable; urgency=low + + * Change note about kimwitu++'s doc + * Change some programming examples anticipating upstream's changes + (closes: #154617) + + -- Michael Piefel Wed, 28 Aug 2002 14:45:19 +0200 + +kimwitu-doc (10a-1.1) unstable; urgency=low + + * NMU + * NMU is done at the request of maintainer + * Add build-depends for tetex-extra (closes: #141436) + + -- Junichi Uekawa Wed, 24 Jul 2002 18:03:18 +0900 + +kimwitu-doc (10a-1) unstable; urgency=low + + * Now using a different version number scheme. Although the source is + numbered as version number 4.5a, the manual itself identifies as 10a. + * Removed PS version, added HTML instead. + * Remove LaTeX source from package. + * Use doc-base to register the documentation. + + -- Michael Piefel Tue, 10 Jul 2001 17:04:50 +0200 + +kimwitu-doc (4.5a-3) unstable; urgency=low + + * New maintainer. + + -- Michael Piefel Tue, 13 Feb 2001 14:42:22 +0100 + +kimwitu-doc (4.5a-2) unstable; urgency=low + + * Fixed some lintian warnings. + + -- W. Borgert Sun, 20 Aug 2000 13:47:48 +0000 + +kimwitu-doc (4.5a-1) unstable; urgency=low + + * Initial Release. + + -- W. Borgert Fri, 28 Apr 2000 11:59:52 +0000 + --- kimwitu-doc-10a+1.orig/debian/copyright +++ kimwitu-doc-10a+1/debian/copyright @@ -0,0 +1,15 @@ +This package was debianized by W. Borgert on Fri, +28 Apr 2000 11:59:52 +0000. + +The LaTeX source was downloaded (and cleaned) from +http://fmt.cs.utwente.nl/kimwitu/ftp/kc-docV4.5a.tar.gz + +Upstream Authors: +Axel Belinfante +Peter van Eijk + +You are free to distribute this software under the terms of +the GNU General Public License. +On Debian systems, the complete text of the GNU General Public +License can be found in the file ‘/usr/share/common-licenses/GPL’. + --- kimwitu-doc-10a+1.orig/debian/control +++ kimwitu-doc-10a+1/debian/control @@ -0,0 +1,25 @@ +Source: kimwitu-doc +Section: doc +Priority: optional +Maintainer: Michael Piefel +Build-Depends: debhelper (>> 5.0.0), ghostscript +Build-Depends-Indep: texlive-latex-recommended, texlive-extra-utils +Standards-Version: 3.8.0 + +Package: kimwitu-doc +Architecture: all +Suggests: doc-base +Description: documentation for compiler development tool Kimwitu + Kimwitu (pronounced kee'mweetoo) is a system that supports + the construction of programs that use trees or terms as + their main data structure. It is a meta-tool in the + development process of tools. + . + It can easily be interfaced with Yacc and Lex - the idea + is that yacc and lex are used to do the parsing, and + Kimwitu routines are used to built and manipulate the + parse tree. + . + There is also Kimwitu++ (also packaged for Debian) which interfaces + with C++ instead of C; its documentation is still a little shaky, so + this document might be useful for it. --- kimwitu-doc-10a+1.orig/debian/postinst +++ kimwitu-doc-10a+1/debian/postinst @@ -0,0 +1,8 @@ +#! /bin/sh + +set -e + +#DEBHELPER# + +exit 0 + --- kimwitu-doc-10a+1.orig/debian/kimwitu-doc.doc-base +++ kimwitu-doc-10a+1/debian/kimwitu-doc.doc-base @@ -0,0 +1,10 @@ +Document: kimwitu-doc +Title: The Term Processor Kimwitu +Author: Peter von Eijk, Axel Belinfante +Abstract: This manual documents the term processor Kimwitu, + a system that supports the construction programs that use + trees or terms as their main data structure. +Section: Programming/C + +Format: PDF +Files: /usr/share/doc/kimwitu-doc/kimwitu.pdf.gz --- kimwitu-doc-10a+1.orig/debian/compat +++ kimwitu-doc-10a+1/debian/compat @@ -0,0 +1 @@ +5 --- kimwitu-doc-10a+1.orig/debian/rules +++ kimwitu-doc-10a+1/debian/rules @@ -0,0 +1,53 @@ +#!/usr/bin/make -f + +build: build-stamp +build-stamp: + dh_testdir + # Make PDF documentation + $(MAKE) pdf + + # This is the place where we would build the HTML version if it were not verboten. + # ‘Our priorities are our users and free software’ – what a pity that our users + # only come fourth. latex2html is very evil software because it contains stuff that + # may not be sold. Evil. Therefore, no HTML doc anymore. + + touch build-stamp + +clean: + dh_testdir + dh_testroot + rm -f build-stamp + + $(MAKE) clean + rm -f $(addprefix tp.man.,pdf tpt out blg bbl brf) + + dh_clean + +install: build + dh_testdir + dh_testroot + dh_clean -k + dh_installdirs + + mkdir -p debian/kimwitu-doc/usr/share/doc/kimwitu-doc + cp -i tp.man.pdf debian/kimwitu-doc/usr/share/doc/kimwitu-doc/kimwitu.pdf + +# Nothing, really! +binary-arch: + +# Build architecture-independent files here. +binary-indep: build install + dh_testdir + dh_testroot + dh_installdocs + dh_installchangelogs + dh_link + dh_compress + dh_fixperms + dh_installdeb + dh_gencontrol + dh_md5sums + dh_builddeb + +binary: binary-indep binary-arch +.PHONY: build clean binary-indep binary-arch binary install