GNU bug report logs - #22306
24.5; Unhide --no-line-directive Documentation

Previous Next

Full log

Message #19 received at 22306-done <at> debbugs.gnu.org (full text, mbox):

From: Eli Zaretskii <eliz <at> gnu.org>
To: Francesco Potortì <pot <at> gnu.org>
Cc: jim_muchow <at> dell.com, 22306-done <at> debbugs.gnu.org
Subject: Re: bug#22306: 24.5; Unhide --no-line-directive Documentation
Date: Fri, 15 Jan 2016 10:58:43 +0200

> Date: Sun, 10 Jan 2016 00:26:55 +0100
> From: Francesco Potortì <pot <at> gnu.org>
> Cc: 22306 <at> debbugs.gnu.org, James Muchow <jim_muchow <at> dell.com>
> 
> >Francesco,
> >
> >Are there any reasons to keep this option (and a few others) hidden
> >from the user eyes?
> 
> For this specific otion, the logs say that I undocumented it in 2002.

My forensic investigation of the history indicates that it was
first introduced in 2002, and undocumented in 2007.

> As far as I can recall, this was because the option seemed too much
> technical to me, that is of little use and difficult to explain.  I
> think I adopted the same criterion for undocumenting the other options.

Well, it seems this option is useful when the original file is no
longer available, which is a legitimate, albeit rare, use case.  So I
un-hided it, and also documented it in etags.1 as the fire-escape in
these rare use cases.

I'm therefore marking this bug done.

Thanks.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.