\documentclass[11pt]{article}
\usepackage{times}
\usepackage{pl}
\usepackage{html}
\sloppy
\makeindex

\onefile
\htmloutput{.}					% Output directory
\htmlmainfile{pengines}				% Main document file
\bodycolor{white}				% Page colour

\begin{document}

\title{Pengines: Web Logic Programming Made Easy}
\author{Torbj\"orn Lager \\
	University of Gothenburg \\
	Sweden \\
	E-mail: \email{lager@ling.gu.se} \\
	Jan Wielemaker \\
	VU University Amsterdam \\
	The Netherlands \\
	E-mail: \email{J.Wielemaker@vu.nl}}

\maketitle

\begin{abstract}
Pengines is short for Prolog Engines.  The pengines package greatly
simplifies (1) developing JavaScript based web-applications that must
talk to a Prolog server and (2) realise distributed programming in
Prolog by providing RPC (\jargon{Remote Procedure Calling}) over HTTP.

See also \url{http://www.swi-prolog.org/pengines}.
\end{abstract}

\pagebreak
\tableofcontents

\vfill
\vfill

\newpage

\input{pendoc.tex}
\input{penlib.tex}
\input{termtojson.tex}

\printindex

\end{document}