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