Sorry, I didn't check the version you're referring to: in the current
version the @dircategory is already set.
hope this helps
cheers
Lorenzo
--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
ICQ# lbetto, 16080134 (GNU/Linux User # 158233)
HOME: http://www.lorenzobettin
Hi
I'm the maintainer of GNU Source-highlight; do you mean I should add
something like this in source-highlight.texinfo?
@dircategory GNU programming tools
@direntry
* Source-highlight: (source-highlight). highlight programs
* Source-highlight Lib: (source-highlight-lib). libra
Package: source-highlight
Version: 2.4-5.2
Severity: normal
Usertags: texinfo-transition
Dear maintainer,
we are currently replacing the dpkg install-info with GNU install-info
and at the same time reworking the installation method for info files
with triggers (see http://wiki.debian.org/Transiti
3 matches
Mail list logo