Re: PATCH: clean up whitespace in manual

Jacob Bachmeyer <[email protected]>
Newsgroups gmane.comp.sysutils.dejagnu.general
Message-ID <[email protected]>
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
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.