You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5464 Reporter: mehdi Assigned to:@lefessan Status: closed (set by @xavierleroy on 2013-08-31T10:44:12Z) Resolution: fixed Priority: normal Severity: minor Version: 3.12.1 Fixed in version: 3.13.0+dev Category: documentation Monitored by:@lefessan@glondu
Bug description
There is one problem in the info file
usr/share/info/ocaml.info.gz
because it does not ship info dir sections. Thus, calling install-info (the GNU version) on these files issue a warning:
install-info: warning: no info dir entry in `/usr/share/info/...'
and the file is not included in the dir file.
The source of this problem is the following missing entry in the
texinfo source:
@dircategory Package short info
@direntry
* menu item 1: (infofile). Description.
* menu item 2: (infofile2). Description. @EnD direntry
From what I understand, since OCaml Manual is generated by Hevea, the bug should be sent to Hevea's maintainers. In the meantime, the OCaml manual could be fixed by adding (manually, in the Makefile) something like this to ocaml.info (after the first line):
INFO-DIR-SECTION OCaml Programming Language
START-INFO-DIR-ENTRY
Original bug ID: 5464
Reporter: mehdi
Assigned to: @lefessan
Status: closed (set by @xavierleroy on 2013-08-31T10:44:12Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.12.1
Fixed in version: 3.13.0+dev
Category: documentation
Monitored by: @lefessan @glondu
Bug description
There is one problem in the info file
usr/share/info/ocaml.info.gz
because it does not ship info dir sections. Thus, calling install-info (the GNU version) on these files issue a warning:
install-info: warning: no info dir entry in `/usr/share/info/...'
and the file is not included in the dir file.
The source of this problem is the following missing entry in the
texinfo source:
@dircategory Package short info
@direntry
* menu item 1: (infofile). Description.
* menu item 2: (infofile2). Description.
@EnD direntry
Additional information
Additional information can be found in:
http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=528887
http://lintian.debian.org/tags/info-document-missing-dir-entry.html
http://lintian.debian.org/tags/info-document-missing-dir-section.html
The text was updated successfully, but these errors were encountered: