Re: Compressed info files

[Thien-Thi Nguyen]

() Eli Zaretskii <address@hidden>
() Wed, 11 Mar 2015 19:59:44 +0200

   > Back to square one: it should be clearer, somewhere rather
   > easily reachable, that compressed files are supported :)

   But that's not user-level information, is it?  That's
   something system administrators and people who package
   software should be interested in.

Well, i think GNU aims to at least not hide this kind of
information from the user.  It's part of the "make install"
flow, which is part of the user experience (should they choose
to build Free Documentation from its Texinfo source).  IMHO, the
best place to put it would be in the GNU Coding Standards:

 The way to install Info files is to copy them into '$(infodir)'
 with '$(INSTALL_DATA)' (*note Command Variables::), and then run
 the 'install-info' program if it is present.

(info "(standards) Standard Targets") so that it looks like:

 The way to install Info files is to copy them---optionally
 gzipped---into '$(infodir)' with '$(INSTALL_DATA)' [...]

This way the prescriptive wording fits w/ the prescription.
Since this is The GCS, it follows that conforming Info format
readers must be able to handle .info.gz as well as .info files.
(Of course, that can be described explicitly, too, but i think
adding those two words only is sufficient.)
      
[to reset, cc dropped]

-- 
Thien-Thi Nguyen
   GPG key: 4C807502
   (if you're human and you know it)
      read my lisp: (responsep (questions 'technical)
                               (not (via 'mailing-list)))
                     => nil

signature.asc
Description: PGP signature