diff options
| author | redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-05-29 14:04:43 +0000 |
|---|---|---|
| committer | redi <redi@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-05-29 14:04:43 +0000 |
| commit | b078f5cee6da1182a8e30418385e46586181bcab (patch) | |
| tree | 0075fb3b41b5aa0ac3c420d053206c84588b3fcb /libstdc++-v3/scripts | |
| parent | bb195fbb894d692f917f7823659783d30d7e591b (diff) | |
* include/tr2/bool_set: Use UTF-8 for accented characters.
* scripts/run_doxygen: Handle Doxygen 1.8.x change.
* doc/doxygen/user.cfg.in: Update to Doxygen 1.8.6 format. Set
QUIET=YES, remove obsolete SYMBOL_CACHE_SIZE tag.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@211053 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'libstdc++-v3/scripts')
| -rw-r--r-- | libstdc++-v3/scripts/run_doxygen | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/libstdc++-v3/scripts/run_doxygen b/libstdc++-v3/scripts/run_doxygen index c81bc182485..8f5993698b6 100644 --- a/libstdc++-v3/scripts/run_doxygen +++ b/libstdc++-v3/scripts/run_doxygen @@ -193,8 +193,15 @@ fi if $do_latex; then cd ${outdir}/${mode} - # Also drop in the header file and style sheet - doxygen -w latex header.tex doxygen.sty + # Grrr, Doxygen 1.8.x changed the -w latex options. + need_footer=`doxygen -h | sed -n -e '/-w latex/s=.*footer.*=true=p'` + + # Also drop in the header file (maybe footer file) and style sheet + if $need_footer; then + doxygen -w latex header.tex footer.tex doxygen.sty + else + doxygen -w latex header.tex doxygen.sty + fi echo :: echo :: LaTeX pages begin with |