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

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

\begin{document}

\title{Redis -- a SWI-Prolog client for redis}
\author{Jan Wielemaker \\
	SWI-Prolog Solutions b.v. \\
	The Netherlands \\
	E-mail: \email{jan@swi-prolog.org}}

\maketitle

\begin{abstract}
This package provides the library \file{redis.pl} that implements a
client for the [redis](https://redis.io/), \textit{''An open source (BSD
licensed), in-memory data structure store, used as a database, cache and
message broker''}
\end{abstract}

\pagebreak
\tableofcontents

\vfill
\vfill

\newpage

\input{overview.tex}
\input{libredis.tex}
\input{redisstreams.tex}

\printindex

\end{document}