From 3225fa83bb764b0db024756acf167b9cde0cb5e3 Mon Sep 17 00:00:00 2001 From: Ingo Schwarze Date: Sat, 28 Oct 2017 16:20:24 +0000 Subject: duplicate anchors --- TODO | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/TODO b/TODO index 5bdb1bdf..0128fc3d 100644 --- a/TODO +++ b/TODO @@ -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 "#..._" suffixes? + Jakub Klinkovsky 3 Oct 2017 21:23:36 +0200 + - format ".IP *" etc. as
    rather than
    https://github.com/Debian/debiman/issues/67 loc ** exist ** algo ** size * imp *** -- cgit v1.2.3