From 7507e6686bc6d661cf6470946ada6e4139c05270 Mon Sep 17 00:00:00 2001
From: Boris Kolpackov <boris@codesynthesis.com>
Date: Tue, 8 May 2018 12:59:55 +0200
Subject: Omit auto-generated documentation for now to allow building from git

---
 doc/buildfile | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

(limited to 'doc/buildfile')

diff --git a/doc/buildfile b/doc/buildfile
index 293dfb9..8ca4c70 100644
--- a/doc/buildfile
+++ b/doc/buildfile
@@ -10,9 +10,12 @@ xhtml{*}: extension = xhtml
 
 ./: css{default}
 
-./: {man1 xhtml}{odb} file{odb-*.1} file{odb-*.xhtml}
+# @@ BUILD2 TMP: auto-generated and not in git (also odb-manual.* below)
+#
+./: file{odb-*.1} file{odb-*.xhtml}
+    # {man1 xhtml}{odb}
 
-./: doc{manual.xhtml odb-manual.ps odb-manual.pdf} doc{*.png} \
-    file{*.svg +*.html2ps}
+./: doc{manual.xhtml} doc{*.png} file{*.svg +*.html2ps}
+    #doc{odb-manual.ps odb-manual.pdf}
 
 ./: file{doc.sh}
-- 
cgit v1.1