jit: fix libgccjit.info entry [PR 91330]
authorDavid Malcolm <dmalcolm@redhat.com>
Wed, 27 May 2020 08:04:58 +0000 (04:04 -0400)
committerDavid Malcolm <dmalcolm@redhat.com>
Wed, 27 May 2020 18:25:28 +0000 (14:25 -0400)
2020-05-27  Tom Tromey  <tromey@gcc.gnu.org>

gcc/jit/ChangeLog:
PR jit/91330
* docs/conf.py (texinfo_documents): Set description.
* docs/_build/texinfo/libgccjit.texi: Regenerate.

gcc/jit/docs/_build/texinfo/libgccjit.texi
gcc/jit/docs/conf.py

index 6114f81..1e14be0 100644 (file)
@@ -12,7 +12,7 @@
 @finalout
 @dircategory Miscellaneous
 @direntry
-* libgccjit: (libgccjit.info). One line description of project.
+* libgccjit: (libgccjit.info). GCC-based Just In Time compiler library.
 @end direntry
 
 @definfoenclose strong,`,'
@@ -21,7 +21,7 @@
 
 @copying
 @quotation
-libgccjit 11.0.0 (experimental 20200526), May 26, 2020
+libgccjit 11.0.0 (experimental 20200527), May 27, 2020
 
 David Malcolm
 
index 9dcc88e..796e16c 100644 (file)
@@ -244,7 +244,7 @@ man_pages = [
 #  dir menu entry, description, category)
 texinfo_documents = [
   ('index', 'libgccjit', u'libgccjit Documentation',
-   u'David Malcolm', 'libgccjit', 'One line description of project.',
+   u'David Malcolm', 'libgccjit', 'GCC-based Just In Time compiler library.',
    'Miscellaneous'),
 ]