copy over some texinfo stuff

mostly to give the javascript codeql scan something to do

Change-Id: Iaa6a392e8d6d934ccd65e2b95223ae0057872fef

.github/dependabot.yml

@@ -29,3 +29,7 @@ updates:
     directory: "/"
     schedule:
       interval: "weekly"
+  - package-ecosystem: "npm"
+    directory: "/src/texinfo/js"
+    schedule:
+      interval: "weekly"

.github/workflows/codeql.yml

@@ -88,8 +88,15 @@ jobs:
       run: sudo apt-get -y install autopoint gobjc clang
 
     - name: Syntax check
-      if: matrix.language == 'ruby'
-      run: ruby -cwv src/gdb/testsuite/gdb.apple/gen-x86-prologues.rb
+      if: matrix.language == 'ruby' || matrix.language == 'javascript-typescript'
+      run: |
+        if test ${{ matrix.language }} == 'ruby' && test -x "$(which ruby)"; then \
+          ruby -cwv src/gdb/testsuite/gdb.apple/gen-x86-prologues.rb || ruby -c src/gdb/testsuite/gdb.apple/gen-x86-prologues.rb; \
+        elif test ${{ matrix.language }} = 'javascript-typescript' && test -x "$(which node)"; then \
+          (find . -name '*.js' -print0 | xargs node -c) || find . -name '*.js' -print -exec node -c '{}' ';'; \
+        else \
+          echo "unhandled case for syntax check step (matrix.language is ${{ matrix.language }})"; \
+        fi
 
     - name: Setup Gradle
       if: matrix.language == 'java-kotlin'

src/texinfo/booklet.mak

@@ -0,0 +1,89 @@
+# -*- makefile -*-
+#
+# booklet.mak - making booklets from Texinfo.
+#
+# Copyright 2013 John Darrington.
+#
+# This file is free software; as a special exception the author gives
+# unlimited permission to copy and/or distribute it, with or without
+# modifications, as long as this notice is preserved.
+#
+# This program is distributed in the hope that it will be useful, but
+# WITHOUT ANY WARRANTY, to the extent permitted by law; without even the
+# implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
+#
+# This makefile can be used to generate booklets from Texinfo sources.
+# It reduces each page to A5 size and renders two pages per sheet onto
+# A4 landscape.  The pages are ordered into a "quire" or "gathering".
+# This means that you can print the result on a standard laser printer,
+# fold in half and using simple stapler bind the result into a 
+# booklet.
+
+# Targets are <foo>-{a4,a5}-book.{dvi,ps,pdf} where <foo>.texi is the texinfo
+# source file.
+# It is suitable for Texinfo documents up to approx. 70 pages.
+
+# The *-a4-book targets produce A4 half area reduced pages.  The *-a5-book
+# targets produce A5 full sized pages.  The *a5-book option will therefore
+# have larger text, but will have a higher page count.  It may also have
+# problems if the document has @display or @example environments with 
+# long lines.
+
+# Example of use:
+# 1. make -f Makebook manual-a4-book.ps
+# 2. Print the result on a double sided laser printer.  Alternatively
+#  if your laser printer does not support double sided printing, print the ODD
+#  numbered sheets, retreive the result from the printer and thinking carefully
+#  about the page orientation, shove them back into the paper tray.  Depending
+#  on your printer, you may have to reverse the order of the sheets.  Then print
+#  the EVEN numbered sheets.  I find gv usefull for this.
+# 3. Fold the result along the short dimension.
+# 4. Staple in place, using a long arm stapler.
+# 5. Using a guillotine cut the pages such that their edges co-incide.
+# 6. Sit back in an armchair and enjoy your reading.
+
+# For those of you who live in countries which refuse to conform to ISO 216,
+# you have a problem.
+
+# End of instructions.
+
+all:
+	echo 'Usage: make -f Makebook <target>'
+
+
+# Mutate the source, with appropriate headings, overriding anything that the 
+# author has thoughtlessly imposed.
+# We want to specify the paper size, and double headings.  Anything else?
+%-a4.texi: %.texi
+	sed -e 's/@afivepaper/@afourpaper/' -e '/@end titlepage/a @headings double' $< > $@
+
+%-a5.texi: %.texi
+	sed -e 's/@afourpaper/@afivepaper/' -e '/@end titlepage/a @headings double' $< > $@
+
+# Older versions of Texinfo break if the locale is non-english.
+%.dvi: %.texi
+	LC_ALL=C texi2dvi $< -o $@
+
+
+# Reorder the dvi into the correct order for the quire.
+%-sig.dvi: %.dvi
+	dvibook	$< -o $@
+
+# Render 2 pages per sheet, ensuring there is an appropriate "gutter"
+%-a5-book.dvi: %-a5-sig.dvi
+	dvitodvi  '2:0+1(148mm,0)' $< $@
+
+%-a4-book.dvi: %-a4-sig.dvi
+	dvitodvi  '2:700@0(-15mm,-5mm)+1(210mm,-5mm)' $< $@
+
+# print the result in landscape orientation
+%.ps: %.dvi
+	dvips -t a4 -t landscape -t landscape $< -o $@
+
+%.pdf: %.ps
+	ps2pdf $< $@
+
+
+.PHONY: clean
+clean:
+	$(RM) *-a[54].*

src/texinfo/bright-colors.css

@@ -0,0 +1,212 @@
+/* === === === === === === === === === === === === === === === === ===
+
+    This file: texinfo_bright_colors.css
+    Version:   1.0
+    Date:      September 13, 2010
+    Author:    Jaakko Hollm@'en, e-mail: [email protected]
+
+    The purpose of this cascading style sheet (CSS) style file named
+    "texinfo_bright_colors.css" is to introduce several bright and
+    contrasting colors for the structural elements of an HTML file.
+    The primary focus of the CSS style is to observe the sturucture
+    of HTML files created with Texinfo documentation system, more
+    specifically texi2html.
+
+    This is NOT a presentation style but a visualization of the
+    structure of an HTML file through coloring of the elements.
+    The style file may turn out to be useful for both developers of the
+    HTML outputting tools and the Texinfo documentation writers who
+    are interested to observe the outputted HTML structure.
+
+    The coloring has been achieved by associating a background-color
+    to important HTML elements. Minimal formatting has been done,
+    although the body font and the headers h1 to h5 have been given
+    absolute sizes, and some expanded space has been introduced to
+    horizontal rulers hr in order to make them more visible. There
+    are margins around the document resembling a book-like presentation
+    in the browser.
+
+    This Cascading Style Sheet (CSS) confroms to the CSS standard,
+    level 2.1. You can validate the correctness of your own
+    creation or modification of the current CSS style at the Web
+    address: http://jigsaw.w3.org/css-validator/ by one the three
+    input methods available.
+
+    If you edit your already produced HTML file generated by hand,
+    change the section <style>...</style> with
+
+    <link rel="stylesheet" href="./texinfo_bright_colors.css">
+
+    and put the CSS file in the same directory, or simply by
+    inclusion of the css file when compiling:
+
+    texi2dvi --css-include=texinfo_bright_colors.css my_doc.texi
+
+    Note: The output will be very "colorful", with very, very bright
+          colors. You have been warned.
+
+    --- --- --- --- --- --- --- --- --- --- --- --- --- --- --- ---
+
+    (c) Copyright, Jaakko Hollm@'en, Finland, [email protected]
+        September, 2010
+
+    The current file "texinfo_bright_colors.css" is free software:
+    you can redistribute it and/or modify it under the terms of the
+    GNU General Public License as published by the Free Software
+    Foundation, either version 3 of the License, or (at your option)
+    any later version.
+
+    The current file "texinfo_bright_colors.css" is distributed in
+    the hope that it will be useful, but WITHOUT ANY WARRANTY;
+    without even the implied warranty of MERCHANTABILITY or FITNESS
+    FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
+    more details.
+
+    === === === === === === === === === === === === === === === === */
+
+body {
+margin: 30px 10% 30px 8%;
+background-color: white;
+font-family: serif;
+font-size: 1.0em;
+}
+
+h1 {
+font-size: 2.4em;
+background-color: #FF0000;
+}
+
+h2 {
+font-size: 2.0em;
+background-color: #FF0066;
+}
+
+h3 {
+font-size: 1.8em;
+background-color: #FF00CC;
+}
+
+h4 {
+font-size: 1.6em;
+background-color: #FF33FF;
+;
+}
+
+h5 {
+font-size: 1.4em;
+background-color: #FF99FF;
+}
+
+p {
+background-color: #B0B0B0;
+}
+
+blockquote {
+background-color: #FFCCFF;
+}
+
+div.shortcontents {
+background-color: #FF9900;
+}
+
+div.contents {
+background-color: #FF9900;
+}
+
+div.defun {
+background-color: #FF9900;
+}
+
+div.float {
+background-color: #FF9900;
+}
+
+div.footnote {
+background-color: #FF9900;
+}
+
+div.node {
+background-color: #FF9900;
+}
+
+ul {
+background-color: #FF9900;
+}
+
+ol {
+background-color: #CCFF33;
+}
+
+table {
+background-color: #FFFF00;
+}
+
+tr {
+background-color: #66FF00;
+}
+
+td {
+background-color: #66CC00;
+}
+
+dl {
+background-color: #00FF00;
+}
+
+dt {
+background-color: #66CC00;
+}
+
+dd {
+background-color: #00FFFF;
+}
+
+pre.display {
+background-color: #33CCFF;
+}
+
+pre.smalldisplay {
+background-color: #33CCFF;
+}
+
+pre.example {
+background-color: #33CCFF;
+}
+
+pre.smallexample {
+background-color: #33CCFF;
+}
+
+pre.format {
+background-color: #33CCFF;
+}
+
+pre.smallformat {
+background-color: #33CCFF;
+}
+
+pre.lisp {
+background-color: #33CCFF;
+}
+
+pre.smalllisp {
+background-color: #33CCFF;
+}
+
+pre.sp {
+background-color: #33CCFF;
+}
+
+pre.verbatim {
+background-color: #33CCFF;
+}
+
+code {
+background-color: #00FF00;
+}
+
+hr {
+background-color: #0000FF;
+margin: 0.5em;
+padding: 0.5em;
+}