diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2010-09-29 08:09:37 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2010-09-29 08:09:37 +0200 |
commit | 17e9509db164d068fd964a776f4ef0da01a39551 (patch) | |
tree | 903d259d2ae635425cabb32530ad96b2c9535209 | |
parent | 62ec38b1821db48dd7250b2cd82a7203ed6ec889 (diff) |
Distribute manual.xhtml
-rw-r--r-- | doc/makefile | 2 |
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): \ |