summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@mit.edu>2015-03-10 21:11:43 -0400
committerGravatar Benjamin Barenblat <bbaren@mit.edu>2015-03-10 21:11:43 -0400
commitc29d132351cbb720d8bb0b5edfb72813e4fa51d4 (patch)
treed6139d04d25348e2ecca3ce533a5017bbf99211d
parent7a0c076d19966bb8f9ea3bfa30ad5d1b15a1c9d2 (diff)
Create doc package
-rw-r--r--debian/control17
-rwxr-xr-xdebian/rules5
-rw-r--r--debian/urweb-doc.doc-base7
-rw-r--r--debian/urweb-doc.install1
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