From c29d132351cbb720d8bb0b5edfb72813e4fa51d4 Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@mit.edu>
Date: Tue, 10 Mar 2015 21:11:43 -0400
Subject: Create doc package

---
 debian/control | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)

(limited to 'debian/control')

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.
-- 
cgit v1.2.3