Create doc package

4 files changed, 30 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.
diff --git a/debian/rules b/debian/rules
index 6374aa4d..fe5e3f3d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -17,6 +17,11 @@ export MLTONARGS := \
 override_dh_auto_configure:
 	SRCLIB=/usr/share/urweb dh_auto_configure
 
+.PHONY: override_dh_auto_build
+override_dh_auto_build:
+	make
+	cd doc && make manual.pdf
+
 .PHONY: override_dh_builddeb
 override_dh_builddeb:
 	dh_builddeb -- -Zxz -z9
diff --git a/debian/urweb-doc.doc-base b/debian/urweb-doc.doc-base
new file mode 100644
index 00000000..d4676ed4
--- /dev/null
+++ b/debian/urweb-doc.doc-base
@@ -0,0 +1,7 @@
+Document: urweb-manual
+Title: The Ur/Web Manual
+Author: Adam Chlipala
+Section: Programming/UrWeb
+
+Format: PDF
+Files: /usr/share/doc/urweb/manual.pdf.gz
\ No newline at end of file
diff --git a/debian/urweb-doc.install b/debian/urweb-doc.install
new file mode 100644
index 00000000..f6edbb02
--- /dev/null
+++ b/debian/urweb-doc.install
@@ -0,0 +1 @@
+doc/manual.pdf usr/share/doc/urweb
\ No newline at end of file