diff options
| author | Michael Cahill <michael.cahill@wiredtiger.com> | 2012-02-03 13:56:10 +1100 |
|---|---|---|
| committer | Michael Cahill <michael.cahill@wiredtiger.com> | 2012-02-03 13:56:10 +1100 |
| commit | 2d11976271f941fa33318524a5824437bfc9ee51 (patch) | |
| tree | b245b0a2efb6cc80885b06e8a9a8dada1d9a154e /dist/s_docs | |
| parent | 319195042a3d1ff3d1e1e2c8f820b1384d9416f9 (diff) | |
| download | mongo-2d11976271f941fa33318524a5824437bfc9ee51.tar.gz | |
Add a navigation link to the license.
Diffstat (limited to 'dist/s_docs')
| -rwxr-xr-x | dist/s_docs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/dist/s_docs b/dist/s_docs index 20c717c99be..89b7084712b 100755 --- a/dist/s_docs +++ b/dist/s_docs @@ -61,7 +61,8 @@ EOF # Fix up bad links doxygen generates in navtree.js (cd ../docs && - sed -i~ 's,/\.html,/,' navtree.js && rm -f navtree.js~) + sed -i~ -e 's,/\.html,/,' -e 's,\.html\.html,.html,' navtree.js && + rm -f navtree.js~) } filter="|sed '/PROJECT_NUMBER/s,=.*,=\"Version $WIREDTIGER_VERSION\",'" |