On 2013-05-06 11:48, Salvo Tomaselli wrote: >> Sounds like Lintian is following the current specification here. >> >> """ >> Index: >> >> Index or top-level file for this document format. Only applies to >> document formats HTML and Info, and /required/ if the format is HTML or >> Info. >> """ [1] > > It sounds right, but what's the point of specifying both in case of just one > file? It could be just assumed I guess. >
Not sure what the point might be. At first glance, your assertion looks reasonable (but I am not intimate with the doc-base spec and the implemenation of the "consumers"). > Do you think this should be moved to doc-base or just dropped? > > Bye > If you want it changed, lets move this to doc-base. ~Niels -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]
