From 65ffd96d360be706eacd40b44a6b409ab70193bc Mon Sep 17 00:00:00 2001 From: Michael Cahill Date: Thu, 2 Feb 2012 13:41:57 +1100 Subject: Remove the old BDB stubs that were never completed. --- dist/s_docs | 3 --- 1 file changed, 3 deletions(-) (limited to 'dist/s_docs') diff --git a/dist/s_docs b/dist/s_docs index 3d0dcc18f2d..3852a5ff8db 100755 --- a/dist/s_docs +++ b/dist/s_docs @@ -66,9 +66,6 @@ EOF filter="|sed '/PROJECT_NUMBER/s,=.*,=\"Version $WIREDTIGER_VERSION\",'" while : do case "$1" in - -b) # Include the Berkeley DB cross-reference - filter="$filter| sed 's,src/bdb-map.dox,,'" - shift;; -p) # Generate PDFs filter="$filter| sed '/GENERATE_LATEX/s,=.*,=YES,'" shift;; -- cgit v1.2.1