diff options
-rw-r--r-- | TODO | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -1,6 +1,6 @@ ************************************************************************ * Official mandoc TODO. -* $Id: TODO,v 1.247 2017/09/02 11:55:11 schwarze Exp $ +* $Id: TODO,v 1.248 2017/10/28 16:20:24 schwarze Exp $ ************************************************************************ Many issues are annotated for difficulty as follows: @@ -375,6 +375,10 @@ are mere guesses, and some may be wrong. --- HTML issues -------------------------------------------------------- +- duplicate names generate duplicate href="#..." attributes + possibly use "#..._<N>" suffixes? + Jakub Klinkovsky <j dot l dot k at gmx dot com> 3 Oct 2017 21:23:36 +0200 + - format ".IP *" etc. as <ul> rather than <dl> https://github.com/Debian/debiman/issues/67 loc ** exist ** algo ** size * imp *** |