diff options
Diffstat (limited to 'src/third_party/wiredtiger/src/docs/top/Doxyfile')
| -rw-r--r-- | src/third_party/wiredtiger/src/docs/top/Doxyfile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/third_party/wiredtiger/src/docs/top/Doxyfile b/src/third_party/wiredtiger/src/docs/top/Doxyfile new file mode 100644 index 00000000000..ed4f2eb8c3b --- /dev/null +++ b/src/third_party/wiredtiger/src/docs/top/Doxyfile @@ -0,0 +1,8 @@ +# Override settings in the normal documentation build for the landing page. + +PROJECT_NUMBER = "Developer Site" +OUTPUT_DIRECTORY = ../../docs/top +INPUT = top community.dox license.dox +EXCLUDE = + +GENERATE_TREEVIEW = NO |