aboutsummaryrefslogtreecommitdiff
path: root/doc/makefile
diff options
context:
space:
mode:
Diffstat (limited to 'doc/makefile')
-rw-r--r--doc/makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/makefile b/doc/makefile
index 32ad89a..ae60070 100644
--- a/doc/makefile
+++ b/doc/makefile
@@ -54,7 +54,7 @@ $(out_base)/odb-manual.pdf: $(out_base)/odb-manual.ps
# Dist.
#
-$(dist): data_dist := default.css odb-arch.png odb-flow.png
+$(dist): data_dist := default.css manual.xhtml odb-arch.png odb-flow.png
$(dist): export docs = $(data_dist) odb.xhtml odb-manual.ps odb-manual.pdf
$(dist): export mans := odb.1
$(dist): \