diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2015-03-10 21:11:43 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2015-03-10 21:11:43 -0400 |
| commit | c29d132351cbb720d8bb0b5edfb72813e4fa51d4 (patch) | |
| tree | d6139d04d25348e2ecca3ce533a5017bbf99211d /debian/control | |
| parent | 7a0c076d19966bb8f9ea3bfa30ad5d1b15a1c9d2 (diff) | |
Create doc package
Diffstat (limited to 'debian/control')
| -rw-r--r-- | debian/control | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/debian/control b/debian/control index 9e7085ef..ea3cd277 100644 --- a/debian/control +++ b/debian/control @@ -11,6 +11,9 @@ Build-Depends: libsqlite3-dev, libssl-dev, mlton +Build-Depends-Indep: + texlive-fonts-recommended, + texlive-latex-extra Standards-Version: 3.9.6 Homepage: http://impredicative.com/ur/ @@ -104,3 +107,17 @@ Description: urweb static backend . This package provides the static-file backend for executables compiled with urweb. + +Package: urweb-doc +Section: doc +Architecture: all +Depends: ${misc:Depends} +Recommends: pdf-viewer | xpdf +Description: Ur/Web reference manual + Ur is a pure, functional, statically typed, strict programming language in the + tradition of ML and Haskell; however, it features a significantly richer type + system. Ur/Web is Ur plus a special standard library and associated rules for + parsing and optimization. Ur/Web supports constructing dynamic web + applications backed by SQL databases. + . + This package provides the Ur/Web reference manual in PDF format. |