diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/02_01.tex | 2 | ||||
| -rw-r--r-- | doc/03_04.tex | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/doc/02_01.tex b/doc/02_01.tex index 3f69fc8460..11c1dc0acb 100644 --- a/doc/02_01.tex +++ b/doc/02_01.tex @@ -1,4 +1,4 @@ -\subsection{Reporting Bugs} +\subsection{Reporting Bugs} \label{sect-reporting-bugs} To report a bug, please create a SourceForge account and follow the bugs link from our homepage. Please make sure the bug is reproducible, and diff --git a/doc/03_04.tex b/doc/03_04.tex index 67fa3ad479..7467337c2f 100644 --- a/doc/03_04.tex +++ b/doc/03_04.tex @@ -9,6 +9,6 @@ This release has the following known problems. There is no need to report them, although patches to fix them are welcome. If you discover a bug that is not listed here, nor in the compatibility table on the web site, please see -the section on Reporting Bugs. +section \ref{sect-reporting-bugs}. This is a development version. It probably has a LOT of problems. |