making the @copying visible in the HTML manual

[Jesse Weinstein]

I noticed that the libcdio manual, like many of the other GNU manuals,
doesn't display its license grant (@copying in texinfo) in the rendered
HTML.  For clarity, it would be better to make it visible.  I've just
been working with the Emacs project (
http://emacsbugs.donarmstrong.com/cgi-bin/bugreport.cgi?bug=1988 ) on
this issue, and the manintainer, Karl, suggested I work though the list
of other GNU projects as well.  Below is a patch to fix this.  Let me
know
if I can be of any other help, or if I should send this elsewhere, or
in another format.

Jesse Weinstein

*** /Users/jesse/Desktop/libcdio.texi.orig Tue Feb 17 22:44:54 2009
--- /Users/jesse/Desktop/libcdio.texi Tue Feb 17 22:45:27 2009
***************
*** 61,68 ****
   @node Top
   @top GNU @value{libcdio}

! This manual documents @value{libcdio}, the GNU CD Input and Control
! Library.

   @menu
   * History::           How this came about
--- 61,67 ----
   @node Top
   @top GNU @value{libcdio}

! @insertcopying

   @menu
   * History::           How this came about

[r-]

I've applied the patch you suggest in git. Although the patch applied
somewhat cleanly and I think I see the effect, please double-check that I've
done this correctly.

Thanks.

On Wed, Feb 18, 2009 at 1:50 AM, Jesse W <jessw@...> wrote:

> I noticed that the libcdio manual, like many of the other GNU manuals,
> doesn't display its license grant (@copying in texinfo) in the rendered
> HTML.  For clarity, it would be better to make it visible.  I've just
> been working with the Emacs project (
> http://emacsbugs.donarmstrong.com/cgi-bin/bugreport.cgi?bug=1988 ) on
> this issue, and the manintainer, Karl, suggested I work though the list
> of other GNU projects as well.  Below is a patch to fix this.  Let me know
> if I can be of any other help, or if I should send this elsewhere, or
> in another format.
>
> Jesse Weinstein
>
> *** /Users/jesse/Desktop/libcdio.texi.orig      Tue Feb 17 22:44:54 2009
> --- /Users/jesse/Desktop/libcdio.texi   Tue Feb 17 22:45:27 2009
> ***************
> *** 61,68 ****
>  @node Top
>  @top GNU @value{libcdio}
>
> ! This manual documents @value{libcdio}, the GNU CD Input and Control
> ! Library.
>
>  @menu
>  * History::           How this came about
> --- 61,67 ----
>  @node Top
>  @top GNU @value{libcdio}
>
> ! @insertcopying
>
>  @menu
>  * History::           How this came about
>
>
>
>