summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2014-01-18 08:34:19 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2014-01-18 08:34:19 -0500
commit6787b686afe5fd3e65b3d377d4c363b4cd086dad (patch)
treec547365a7fdd632156bfadc46d5743f42bb521b3
parentd9f5cfc01bf3aac3efb9b0890090a378aeaf15e5 (diff)
Manual: remove database version numbers from Debian package names, where possible
-rw-r--r--doc/manual.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual.tex b/doc/manual.tex
index ea053a81..0a088436 100644
--- a/doc/manual.tex
+++ b/doc/manual.tex
@@ -64,7 +64,7 @@ apt-get install mlton libssl-dev
To build programs that access SQL databases, you also need one of these client libraries for supported backends.
\begin{verbatim}
-apt-get install libpq-dev libmysqlclient15-dev libsqlite3-dev
+apt-get install libpq-dev libmysqlclient-dev libsqlite3-dev
\end{verbatim}
It is also possible to access the modules of the Ur/Web compiler interactively, within Standard ML of New Jersey. To install the prerequisites in Debian testing:
@@ -77,7 +77,7 @@ To begin an interactive session with the Ur compiler modules, run \texttt{make s
To run an SQL-backed application with a backend besides SQLite, you will probably want to install one of these servers.
\begin{verbatim}
-apt-get install postgresql-8.4 mysql-server-5.1
+apt-get install postgresql mysql-server
\end{verbatim}
To use the Emacs mode, you must have a modern Emacs installed. We assume that you already know how to do this, if you're in the business of looking for an Emacs mode. The demo generation facility of the compiler will also call out to Emacs to syntax-highlight code, and that process depends on the \texttt{htmlize} module, which can be installed in Debian testing via: