dejagnu
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: PATCH: clean up whitespace in manual


From: Jacob Bachmeyer
Subject: Re: PATCH: clean up whitespace in manual
Date: Tue, 11 Dec 2018 00:00:05 -0600
User-agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.1.22) Gecko/20090807 MultiZilla/1.8.3.4e SeaMonkey/1.1.17 Mnenhy/0.7.6.0

Ben Elliston wrote:
On Mon, Dec 10, 2018 at 09:02:56PM -0600, Jacob Bachmeyer wrote:
        * doc/dejagnu.texi: Clean up whitespace.  Some indented examples
        were changed to use the Texinfo "@ " command (yes, that really is
        a space character) to preserve correct indentation.  The "@ "
        command is treated as a single space by Tex and makeinfo, but
        prevents Emacs from complaining about indentation using spaces
        instead of tabs.  Several examples also had various indentation
        irregularities that appeared in the output; these are also fixed.
Applied; thanks. Documentation fixes are gratefully received. The
library reference appendix needs a lot of gaps filled if you are
feeling like it. :)

That is on my local TODO list, after quite a bit of other code and documentation work, including sorting out "which of these procedures should be in an exported API and which should be considered internal?" That it is mentioned at all suggests that it could be an API call, but lacking documentation could also suggest that it was meant to be internal.

Also, after what threshold of adding/reorganizing/etc. the manual do we have to change the cover page to list "Rob Savoye, et al" and "Cygnus Support and the GNU Project"?

I *think* that would be the right way to attribute it: Rob Savoye is the first author and was probably working at Cygnus when the manual was written (the manual seems to have been written during the early-ish days at Cygnus and then forgotten as DejaGnu developed further -- not unreasonable since for some time nearly everyone using DejaGnu probably also worked at Cygnus and would have simply "talked to Rob" about any questions). There are now other authors, the ChangeLog and Git history document who wrote what parts, and DejaGnu is now a GNU package, so it seems "right" to me.


-- Jacob




reply via email to

[Prev in Thread] Current Thread [Next in Thread]