1 files changed, 0 insertions, 20 deletions
diff --git a/doc/buildfile b/doc/buildfile
deleted file mode 100644
index 45b7ac2..0000000
--- a/doc/buildfile
+++ /dev/null
@@ -1,20 +0,0 @@
-# file      : doc/buildfile
-# license   : GNU GPL v3; see accompanying LICENSE file
-
-define css: doc
-css{*}: extension = css
-
-define xhtml: doc
-xhtml{*}: extension = xhtml
-
-./: css{default}
-
-# @@ BUILD2 TMP: auto-generated and not in git (also odb-manual.* below)
-#
-./: file{odb-*.1} file{odb-*.xhtml}
-    # {man1 xhtml}{odb}
-
-./: doc{manual.xhtml} doc{*.png} file{*.svg +*.html2ps}
-    #doc{odb-manual.ps odb-manual.pdf}
-
-./: file{doc.sh}