savannah-register-public
[Top][All Lists]
Advanced

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

[Savannah-register-public] [task #15310] Submission of Tutoterm


From: Ineiev
Subject: [Savannah-register-public] [task #15310] Submission of Tutoterm
Date: Mon, 8 Jul 2019 04:22:48 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:67.0) Gecko/20100101 Firefox/67.0

Update of task #15310 (project administration):

         Should Start On: Mon 01 Jul 2019 12:00:00 AM UTC => Mon 08 Jul 2019
12:00:00 AM UTC
   Should be Finished on: Mon 01 Jul 2019 12:00:00 AM UTC => Mon 08 Jul 2019
12:00:00 AM UTC

    _______________________________________________________

Follow-up Comment #7:

[citing from savannah-register-public]

> The problem is that every file in ./docs/references/ is generated by
gtk-doc, and seem un-costumizable.

You can post-process it when generating.

> I have found out how to add a section "Copyright and license" into the
> content of the documentation (so it can be seen in a web browser), but I
> can't find a way to add a copyright header and a license notice at the top
of
> each file, as they are overwritten by gtk-doc.

It will be even better if copyright and license notices are visible when
normally browsing the files.  It doesn't matter very much whether the notices
are at the top or at the bottom.

    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/task/?15310>

_______________________________________________
  Message sent via Savannah
  https://savannah.nongnu.org/




reply via email to

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