#706927 redundant Index/Files fields in case of one HTML file

Package:
doc-base
Source:
doc-base
Submitter:
Salvo Tomaselli
Date:
2022-07-09 13:39:03 UTC
Severity:
normal
#706927#5
Date:
2013-05-06 09:09:55 UTC
From:
To:
Dear Maintainer,
I have a package which ships a SINGLE html file containing a FAQ.

If I use the "Files" field to indicate this file, then lintian complains
that "doc-base-file-no-index"

but if i use the "Index" field then "doc-base-file-lacks-required-field".

Since it is a single file, I think it has no index, or it is itself its own
index.
So like in the case of .pdf files or so, the Index field shouldn't be required.


Bye
#706927#10
Date:
2013-05-06 09:39:51 UTC
From:
To:
Control: tags -1 moreinfo

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]

~Niels

[1]
http://anonscm.debian.org/gitweb/?p=users/robert/doc-base.git;a=blob;f=doc/doc-base.sgml;h=fabde6b111621680ecfa5502bbb9e2124c2e6d9a;hb=36765232ee802317137e53600f6380735b36e9cc#l262

Tags/markup manually removed.  Emphasis mine.
#706927#17
Date:
2013-05-06 09:48:44 UTC
From:
To:
It sounds right, but what's the point of specifying both in case of just one
file? It could be just assumed I guess.

Do you think this should be moved to doc-base or just dropped?

Bye
#706927#22
Date:
2013-05-06 10:03:41 UTC
From:
To:
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").

If you want it changed, lets move this to doc-base.

~Niels
#706927#33
Date:
2022-07-09 13:20:57 UTC
From:
To:
tags 706927 - moreinfo

See https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=682436#10 for an
example of a possible syntax (only "Files", "Index" forbidden) which
could also help fixing that other bug.

Also I think no more info is needed here, so removing that bug tag.
#706927#38
Date:
2022-07-09 13:37:48 UTC
From:
To:
Control: tags -1 - moreinfo

Let's try that again!