diff options
Diffstat (limited to 'doc/manual/bugs.xml')
| -rw-r--r-- | doc/manual/bugs.xml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/manual/bugs.xml b/doc/manual/bugs.xml index 33bd96a02de4..77579776b07d 100644 --- a/doc/manual/bugs.xml +++ b/doc/manual/bugs.xml @@ -5,6 +5,12 @@ <listitem> <para> + The man-pages generated from the DocBook documentation are ugly. + </para> + </listitem> + + <listitem> + <para> Unify the concepts of successors and substitutes into a general notion of <emphasis>equivalent expressions</emphasis>. Expressions are equivalent if they have the same target paths |