1 files changed, 7 insertions, 0 deletions
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