diff options
| author | Michael Cahill <michael.cahill@wiredtiger.com> | 2012-02-02 13:41:57 +1100 |
|---|---|---|
| committer | Michael Cahill <michael.cahill@wiredtiger.com> | 2012-02-02 13:41:57 +1100 |
| commit | 65ffd96d360be706eacd40b44a6b409ab70193bc (patch) | |
| tree | 41e4efbb83681971bab04e40bf76f4615d1a1af8 /dist/s_docs | |
| parent | 7ae4736e64497bbefcefda9d46cf22d016c51001 (diff) | |
| download | mongo-65ffd96d360be706eacd40b44a6b409ab70193bc.tar.gz | |
Remove the old BDB stubs that were never completed.
Diffstat (limited to 'dist/s_docs')
| -rwxr-xr-x | dist/s_docs | 3 |
1 files changed, 0 insertions, 3 deletions
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;; |