summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitignore1
-rw-r--r--doc/doxygen_manual.tex1
2 files changed, 2 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 1f34e9a..fc5ee99 100644
--- a/.gitignore
+++ b/.gitignore
@@ -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}