diff options
-rw-r--r-- | .gitignore | 1 | ||||
-rw-r--r-- | doc/doxygen_manual.tex | 1 |
2 files changed, 2 insertions, 0 deletions
@@ -110,6 +110,7 @@ /doc/Makefile /doc/translator_report.txt +/doc/config.doc /doxygen_docs /doxygen.tag diff --git a/doc/doxygen_manual.tex b/doc/doxygen_manual.tex index f62f017..58615ed 100644 --- a/doc/doxygen_manual.tex +++ b/doc/doxygen_manual.tex @@ -51,6 +51,7 @@ \usepackage[titles]{tocloft} \usepackage{amssymb} \usepackage{doxygen} +\newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}} \lstset{language=C++,inputencoding=utf8,basicstyle=\footnotesize,breaklines=true,breakatwhitespace=true,tabsize=8,numbers=left } \makeindex \setcounter{tocdepth}{3} |