diff options
| author | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-26 18:26:55 +0000 |
|---|---|---|
| committer | Cristian Cadar <cristic@cs.stanford.edu> | 2012-07-26 18:26:55 +0000 |
| commit | 1fdb4ef41ea8a87225f751fa87534c5ac1751d40 (patch) | |
| tree | 2c0397b5c05204a0732d9cf9fdcca065e46ebba4 /docs | |
| parent | 9e5892c86a0ca40c95da95d6fbca3c1944756450 (diff) | |
| download | klee-1fdb4ef41ea8a87225f751fa87534c5ac1751d40.tar.gz | |
Patch by Dan Liew that adds support for building Doxygen out-of-source.
git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@160795 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/doxygen.cfg.in (renamed from docs/doxygen.cfg) | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/docs/doxygen.cfg b/docs/doxygen.cfg.in index 40eafd80..ffd7c8bf 100644 --- a/docs/doxygen.cfg +++ b/docs/doxygen.cfg.in @@ -38,7 +38,7 @@ PROJECT_NUMBER = # If a relative path is entered, it will be relative to the location # where doxygen was started. If left blank the current directory will be used. -OUTPUT_DIRECTORY = docs/doxygen +OUTPUT_DIRECTORY = @abs_top_builddir@/docs/doxygen # If the CREATE_SUBDIRS tag is set to YES, then doxygen will create # 4096 sub-directories (in 2 levels) under the output directory of each output @@ -470,11 +470,11 @@ WARN_LOGFILE = # directories like "/usr/src/myproject". Separate the files or directories # with spaces. -INPUT = tools/ \ - lib/ \ - include/ \ - docs/intro \ - docs/overview +INPUT = @abs_top_srcdir@/tools/ \ + @abs_top_srcdir@/lib/ \ + @abs_top_srcdir@/include/ \ + @abs_top_srcdir@/docs/intro \ + @abs_top_srcdir@/docs/overview # This tag can be used to specify the character encoding of the source files that # doxygen parses. Internally doxygen uses the UTF-8 encoding, which is also the default |