[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[8413] * texinfo-js.texi: Call this system the " Texinfo JavaScript Inte
From: |
gavinsmith0123 |
Subject: |
[8413] * texinfo-js.texi: Call this system the " Texinfo JavaScript Interface". |
Date: |
Thu, 25 Oct 2018 19:26:54 -0400 (EDT) |
Revision: 8413
http://svn.sv.gnu.org/viewvc/?view=rev&root=texinfo&revision=8413
Author: gavin
Date: 2018-10-25 19:26:54 -0400 (Thu, 25 Oct 2018)
Log Message:
-----------
* texinfo-js.texi: Call this system the "Texinfo JavaScript Interface".
Modified Paths:
--------------
trunk/js/texinfo-js.texi
Modified: trunk/js/texinfo-js.texi
===================================================================
--- trunk/js/texinfo-js.texi 2018-10-25 23:24:01 UTC (rev 8412)
+++ trunk/js/texinfo-js.texi 2018-10-25 23:26:54 UTC (rev 8413)
@@ -2,7 +2,7 @@
@setfilename texinfo-js.info
@copying
-This file describes how to add the Texinfo JS Interface to HTML
+This file describes how to add the Texinfo JavaScript Interface to HTML
manuals generated from Texinfo.
Copyright @copyright{} 2018 Free Software Foundation, Inc.
@@ -22,11 +22,11 @@
@dircategory Texinfo documentation system
@direntry
-* Texinfo JS Interface: (texinfo-js).
+* Texinfo JavaScript Interface: (texinfo-js).
@end direntry
@titlepage
address@hidden Texinfo JS Interface
address@hidden Texinfo JavaScript Interface
@author Gavin Smith
@end titlepage
@@ -35,8 +35,8 @@
@ifnottex
@node Top
address@hidden Texinfo JS Interface
-This manual describes how to add the Texinfo JS Interface to HTML
address@hidden Texinfo JavaScript Interface
+This manual describes how to add the Texinfo JavaScript Interface to HTML
manuals generated from Texinfo.
@end ifnottex
@@ -43,7 +43,7 @@
@node Invoking @command{texinfo-js}
@chapter Invoking @command{texinfo-js}
-The Texinfo JS Interface is an attempt to use JavaScript to make
+The Texinfo JavaScript Interface is an attempt to use JavaScript to make
browsing features
provided by the Info mode of Emacs and the @command{info} program
available to read HTML manuals in a standard web browser. These
@@ -56,11 +56,11 @@
@end itemize
To see a list of available commands while reading a manual using
-the Texinfo JS Interface, click on the `?'@: symbol in the top
+the Texinfo JavaScript Interface, click on the `?'@: symbol in the top
right-hand
corner.
-To add the Texinfo JS Interface to HTML
+To add the Texinfo JavaScript Interface to HTML
manuals generated from Texinfo, use the @command{texinfo-js} command.
For example:
@@ -84,7 +84,8 @@
@node History
@appendix History
-The Texinfo JS Interface was created by Matthieu Lirzin in 2017 as part
+The Texinfo JavaScript Interface was created by
+Matthieu Lirzin in 2017 as part
of a Google Summer of Code (GSOC) project. Advice was given by Per
Bothner and Gavin Smith.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [8413] * texinfo-js.texi: Call this system the " Texinfo JavaScript Interface".,
gavinsmith0123 <=