Menu
▾
▴
[Maxima-commits] [git] Maxima CAS branch rtoy-highlightjs-example-maxima-blocks-texi-dev updated. branch-5_48-base-344-g6be27cc3d
|
From: rtoy <rt...@us...> - 2025-11-24 20:42:09
|
This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Maxima CAS".
The branch, rtoy-highlightjs-example-maxima-blocks-texi-dev has been updated
via 6be27cc3d78d7b20357bd426a5cb73d6a4664c7f (commit)
via ed8c8819d4f337f72d93e052ad798da342c6e467 (commit)
from 7ae65db9239f3325615db30dc57cf3d57197a5e3 (commit)
Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.
- Log -----------------------------------------------------------------
commit 6be27cc3d78d7b20357bd426a5cb73d6a4664c7f
Author: Raymond Toy <toy...@gm...>
Date: Mon Nov 24 12:40:48 2025 -0800
Use pgyments option -O classprefix=pyg-
When running makeinfo for custom-pygments, be sure to add the option
`-O classprefix=pyg-` to prefix the classes. This is important since
the CSS files now have the prefix.
diff --git a/doc/info/build_html.sh.in b/doc/info/build_html.sh.in
index 318dacdf6..e8899137d 100755
--- a/doc/info/build_html.sh.in
+++ b/doc/info/build_html.sh.in
@@ -225,14 +225,14 @@ set -x
# TEXIOPT because shell quoting is all wrong that way. Make sure we
# use the same pygmentize options here and below for the singlepage
# version.
-@MAKEINFO@ $FORCE ${SET_CUSTOM:+-c HIGHLIGHT_SYNTAX='pygmentize -f html -l %l'} --split=chapter --no-node-files --output="$languagedestdir" $TEXIOPT maxima.texi
+@MAKEINFO@ $FORCE ${SET_CUSTOM:+-c HIGHLIGHT_SYNTAX='pygmentize -O classprefix=pyg- -f html -l %l'} --split=chapter --no-node-files --output="$languagedestdir" $TEXIOPT maxima.texi
rc=$?
if [ $rc -ne 0 ]; then
echo Failed to build multi-page html docs
exit $rc
fi
-@MAKEINFO@ $FORCE ${SET_CUSTOM:+-c HIGHLIGHT_SYNTAX='pygmentize -f html -l %l'} --no-split --output="$languagedestdir/maxima_singlepage.html" $TEXIOPT maxima.texi
+@MAKEINFO@ $FORCE ${SET_CUSTOM:+-c HIGHLIGHT_SYNTAX='pygmentize -O classprefix=pyg- -f html -l %l'} --no-split --output="$languagedestdir/maxima_singlepage.html" $TEXIOPT maxima.texi
rc=$?
if [ $rc -ne 0 ]; then
echo Failed to build single page html doc
commit ed8c8819d4f337f72d93e052ad798da342c6e467
Author: Raymond Toy <toy...@gm...>
Date: Mon Nov 24 12:38:59 2025 -0800
Use pgyments option -O classprefix=pyg-
To prevent clashes with other HTML classes, tell pygments to use a
prefix of "pyg-" for the classes it uses. Update the comment in
configure.ac about how to generate the CSS files.
Update the pygments CSS files with the class prefix.
diff --git a/configure.ac b/configure.ac
index 555c8dc0a..45104dace 100644
--- a/configure.ac
+++ b/configure.ac
@@ -966,16 +966,18 @@ EOF
dnl To create these style sheets, do
dnl
- dnl pygmentize -S default -f html > pygments.light.css
- dnl pygmentize -S rrt -f html > pygments.dark.css
+ dnl pygmentize -O classprefix=pyg- -S default -f html > pygments.light.css
+ dnl pygmentize -O classprefix=pyg- -S rrt -f html > pygments.dark.css
dnl
dnl Change "default" and "rrt" to choose different styles
dnl for light and dark modes, respectively.
CUSTOM_PYGMENTS_CSS="$(cat | tr -s '\n' ' ' <<EOF
<link rel="stylesheet"
+ type="text/css"
href="pygments.light.css"
media="(prefers-color-scheme: light)">
<link rel="stylesheet"
+ type="text/css"
href="pygments.dark.css"
media="(prefers-color-scheme: dark)">
EOF
diff --git a/doc/info/pygments.dark.css b/doc/info/pygments.dark.css
index e18586d29..bf1b86d99 100644
--- a/doc/info/pygments.dark.css
+++ b/doc/info/pygments.dark.css
@@ -4,81 +4,81 @@ span.linenos { color: inherit; background-color: transparent; padding-left: 5px;
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.hll { background-color: #0000ff }
-.c { color: #0F0 } /* Comment */
-.err { color: #DDD } /* Error */
-.esc { color: #DDD } /* Escape */
-.g { color: #DDD } /* Generic */
-.k { color: #F00 } /* Keyword */
-.l { color: #DDD } /* Literal */
-.n { color: #DDD } /* Name */
-.o { color: #DDD } /* Operator */
-.x { color: #DDD } /* Other */
-.p { color: #DDD } /* Punctuation */
-.ch { color: #0F0 } /* Comment.Hashbang */
-.cm { color: #0F0 } /* Comment.Multiline */
-.cp { color: #E5E5E5 } /* Comment.Preproc */
-.cpf { color: #0F0 } /* Comment.PreprocFile */
-.c1 { color: #0F0 } /* Comment.Single */
-.cs { color: #0F0 } /* Comment.Special */
-.gd { color: #DDD } /* Generic.Deleted */
-.ge { color: #DDD } /* Generic.Emph */
-.ges { color: #DDD } /* Generic.EmphStrong */
-.gr { color: #DDD } /* Generic.Error */
-.gh { color: #DDD } /* Generic.Heading */
-.gi { color: #DDD } /* Generic.Inserted */
-.go { color: #DDD } /* Generic.Output */
-.gp { color: #DDD } /* Generic.Prompt */
-.gs { color: #DDD } /* Generic.Strong */
-.gu { color: #DDD } /* Generic.Subheading */
-.gt { color: #DDD } /* Generic.Traceback */
-.kc { color: #F00 } /* Keyword.Constant */
-.kd { color: #F00 } /* Keyword.Declaration */
-.kn { color: #F00 } /* Keyword.Namespace */
-.kp { color: #F00 } /* Keyword.Pseudo */
-.kr { color: #F00 } /* Keyword.Reserved */
-.kt { color: #EE82EE } /* Keyword.Type */
-.ld { color: #DDD } /* Literal.Date */
-.m { color: #F0F } /* Literal.Number */
-.s { color: #87CEEB } /* Literal.String */
-.na { color: #DDD } /* Name.Attribute */
-.nb { color: #DDD } /* Name.Builtin */
-.nc { color: #DDD } /* Name.Class */
-.no { color: #7FFFD4 } /* Name.Constant */
-.nd { color: #DDD } /* Name.Decorator */
-.ni { color: #DDD } /* Name.Entity */
-.ne { color: #DDD } /* Name.Exception */
-.nf { color: #FF0 } /* Name.Function */
-.nl { color: #DDD } /* Name.Label */
-.nn { color: #DDD } /* Name.Namespace */
-.nx { color: #DDD } /* Name.Other */
-.py { color: #DDD } /* Name.Property */
-.nt { color: #DDD } /* Name.Tag */
-.nv { color: #EEDD82 } /* Name.Variable */
-.ow { color: #F00 } /* Operator.Word */
-.pm { color: #DDD } /* Punctuation.Marker */
-.w { color: #DDD } /* Text.Whitespace */
-.mb { color: #F0F } /* Literal.Number.Bin */
-.mf { color: #F0F } /* Literal.Number.Float */
-.mh { color: #F0F } /* Literal.Number.Hex */
-.mi { color: #F0F } /* Literal.Number.Integer */
-.mo { color: #F0F } /* Literal.Number.Oct */
-.sa { color: #87CEEB } /* Literal.String.Affix */
-.sb { color: #87CEEB } /* Literal.String.Backtick */
-.sc { color: #87CEEB } /* Literal.String.Char */
-.dl { color: #87CEEB } /* Literal.String.Delimiter */
-.sd { color: #87CEEB } /* Literal.String.Doc */
-.s2 { color: #87CEEB } /* Literal.String.Double */
-.se { color: #87CEEB } /* Literal.String.Escape */
-.sh { color: #87CEEB } /* Literal.String.Heredoc */
-.si { color: #87CEEB } /* Literal.String.Interpol */
-.sx { color: #87CEEB } /* Literal.String.Other */
-.sr { color: #87CEEB } /* Literal.String.Regex */
-.s1 { color: #87CEEB } /* Literal.String.Single */
-.ss { color: #87CEEB } /* Literal.String.Symbol */
-.bp { color: #DDD } /* Name.Builtin.Pseudo */
-.fm { color: #FF0 } /* Name.Function.Magic */
-.vc { color: #EEDD82 } /* Name.Variable.Class */
-.vg { color: #EEDD82 } /* Name.Variable.Global */
-.vi { color: #EEDD82 } /* Name.Variable.Instance */
-.vm { color: #EEDD82 } /* Name.Variable.Magic */
-.il { color: #F0F } /* Literal.Number.Integer.Long */
+.pyg-c { color: #0F0 } /* Comment */
+.pyg-err { color: #DDD } /* Error */
+.pyg-esc { color: #DDD } /* Escape */
+.pyg-g { color: #DDD } /* Generic */
+.pyg-k { color: #F00 } /* Keyword */
+.pyg-l { color: #DDD } /* Literal */
+.pyg-n { color: #DDD } /* Name */
+.pyg-o { color: #DDD } /* Operator */
+.pyg-x { color: #DDD } /* Other */
+.pyg-p { color: #DDD } /* Punctuation */
+.pyg-ch { color: #0F0 } /* Comment.Hashbang */
+.pyg-cm { color: #0F0 } /* Comment.Multiline */
+.pyg-cp { color: #E5E5E5 } /* Comment.Preproc */
+.pyg-cpf { color: #0F0 } /* Comment.PreprocFile */
+.pyg-c1 { color: #0F0 } /* Comment.Single */
+.pyg-cs { color: #0F0 } /* Comment.Special */
+.pyg-gd { color: #DDD } /* Generic.Deleted */
+.pyg-ge { color: #DDD } /* Generic.Emph */
+.pyg-ges { color: #DDD } /* Generic.EmphStrong */
+.pyg-gr { color: #DDD } /* Generic.Error */
+.pyg-gh { color: #DDD } /* Generic.Heading */
+.pyg-gi { color: #DDD } /* Generic.Inserted */
+.pyg-go { color: #DDD } /* Generic.Output */
+.pyg-gp { color: #DDD } /* Generic.Prompt */
+.pyg-gs { color: #DDD } /* Generic.Strong */
+.pyg-gu { color: #DDD } /* Generic.Subheading */
+.pyg-gt { color: #DDD } /* Generic.Traceback */
+.pyg-kc { color: #F00 } /* Keyword.Constant */
+.pyg-kd { color: #F00 } /* Keyword.Declaration */
+.pyg-kn { color: #F00 } /* Keyword.Namespace */
+.pyg-kp { color: #F00 } /* Keyword.Pseudo */
+.pyg-kr { color: #F00 } /* Keyword.Reserved */
+.pyg-kt { color: #EE82EE } /* Keyword.Type */
+.pyg-ld { color: #DDD } /* Literal.Date */
+.pyg-m { color: #F0F } /* Literal.Number */
+.pyg-s { color: #87CEEB } /* Literal.String */
+.pyg-na { color: #DDD } /* Name.Attribute */
+.pyg-nb { color: #DDD } /* Name.Builtin */
+.pyg-nc { color: #DDD } /* Name.Class */
+.pyg-no { color: #7FFFD4 } /* Name.Constant */
+.pyg-nd { color: #DDD } /* Name.Decorator */
+.pyg-ni { color: #DDD } /* Name.Entity */
+.pyg-ne { color: #DDD } /* Name.Exception */
+.pyg-nf { color: #FF0 } /* Name.Function */
+.pyg-nl { color: #DDD } /* Name.Label */
+.pyg-nn { color: #DDD } /* Name.Namespace */
+.pyg-nx { color: #DDD } /* Name.Other */
+.pyg-py { color: #DDD } /* Name.Property */
+.pyg-nt { color: #DDD } /* Name.Tag */
+.pyg-nv { color: #EEDD82 } /* Name.Variable */
+.pyg-ow { color: #F00 } /* Operator.Word */
+.pyg-pm { color: #DDD } /* Punctuation.Marker */
+.pyg-w { color: #DDD } /* Text.Whitespace */
+.pyg-mb { color: #F0F } /* Literal.Number.Bin */
+.pyg-mf { color: #F0F } /* Literal.Number.Float */
+.pyg-mh { color: #F0F } /* Literal.Number.Hex */
+.pyg-mi { color: #F0F } /* Literal.Number.Integer */
+.pyg-mo { color: #F0F } /* Literal.Number.Oct */
+.pyg-sa { color: #87CEEB } /* Literal.String.Affix */
+.pyg-sb { color: #87CEEB } /* Literal.String.Backtick */
+.pyg-sc { color: #87CEEB } /* Literal.String.Char */
+.pyg-dl { color: #87CEEB } /* Literal.String.Delimiter */
+.pyg-sd { color: #87CEEB } /* Literal.String.Doc */
+.pyg-s2 { color: #87CEEB } /* Literal.String.Double */
+.pyg-se { color: #87CEEB } /* Literal.String.Escape */
+.pyg-sh { color: #87CEEB } /* Literal.String.Heredoc */
+.pyg-si { color: #87CEEB } /* Literal.String.Interpol */
+.pyg-sx { color: #87CEEB } /* Literal.String.Other */
+.pyg-sr { color: #87CEEB } /* Literal.String.Regex */
+.pyg-s1 { color: #87CEEB } /* Literal.String.Single */
+.pyg-ss { color: #87CEEB } /* Literal.String.Symbol */
+.pyg-bp { color: #DDD } /* Name.Builtin.Pseudo */
+.pyg-fm { color: #FF0 } /* Name.Function.Magic */
+.pyg-vc { color: #EEDD82 } /* Name.Variable.Class */
+.pyg-vg { color: #EEDD82 } /* Name.Variable.Global */
+.pyg-vi { color: #EEDD82 } /* Name.Variable.Instance */
+.pyg-vm { color: #EEDD82 } /* Name.Variable.Magic */
+.pyg-il { color: #F0F } /* Literal.Number.Integer.Long */
diff --git a/doc/info/pygments.light.css b/doc/info/pygments.light.css
index 8e6fbf1b4..fd0d7ab1c 100644
--- a/doc/info/pygments.light.css
+++ b/doc/info/pygments.light.css
@@ -4,71 +4,71 @@ span.linenos { color: inherit; background-color: transparent; padding-left: 5px;
td.linenos .special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #000000; background-color: #ffffc0; padding-left: 5px; padding-right: 5px; }
.hll { background-color: #ffffcc }
-.c { color: #3D7B7B; font-style: italic } /* Comment */
-.err { border: 1px solid #F00 } /* Error */
-.k { color: #008000; font-weight: bold } /* Keyword */
-.o { color: #666 } /* Operator */
-.ch { color: #3D7B7B; font-style: italic } /* Comment.Hashbang */
-.cm { color: #3D7B7B; font-style: italic } /* Comment.Multiline */
-.cp { color: #9C6500 } /* Comment.Preproc */
-.cpf { color: #3D7B7B; font-style: italic } /* Comment.PreprocFile */
-.c1 { color: #3D7B7B; font-style: italic } /* Comment.Single */
-.cs { color: #3D7B7B; font-style: italic } /* Comment.Special */
-.gd { color: #A00000 } /* Generic.Deleted */
-.ge { font-style: italic } /* Generic.Emph */
-.ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
-.gr { color: #E40000 } /* Generic.Error */
-.gh { color: #000080; font-weight: bold } /* Generic.Heading */
-.gi { color: #008400 } /* Generic.Inserted */
-.go { color: #717171 } /* Generic.Output */
-.gp { color: #000080; font-weight: bold } /* Generic.Prompt */
-.gs { font-weight: bold } /* Generic.Strong */
-.gu { color: #800080; font-weight: bold } /* Generic.Subheading */
-.gt { color: #04D } /* Generic.Traceback */
-.kc { color: #008000; font-weight: bold } /* Keyword.Constant */
-.kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
-.kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
-.kp { color: #008000 } /* Keyword.Pseudo */
-.kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
-.kt { color: #B00040 } /* Keyword.Type */
-.m { color: #666 } /* Literal.Number */
-.s { color: #BA2121 } /* Literal.String */
-.na { color: #687822 } /* Name.Attribute */
-.nb { color: #008000 } /* Name.Builtin */
-.nc { color: #00F; font-weight: bold } /* Name.Class */
-.no { color: #800 } /* Name.Constant */
-.nd { color: #A2F } /* Name.Decorator */
-.ni { color: #717171; font-weight: bold } /* Name.Entity */
-.ne { color: #CB3F38; font-weight: bold } /* Name.Exception */
-.nf { color: #00F } /* Name.Function */
-.nl { color: #767600 } /* Name.Label */
-.nn { color: #00F; font-weight: bold } /* Name.Namespace */
-.nt { color: #008000; font-weight: bold } /* Name.Tag */
-.nv { color: #19177C } /* Name.Variable */
-.ow { color: #A2F; font-weight: bold } /* Operator.Word */
-.w { color: #BBB } /* Text.Whitespace */
-.mb { color: #666 } /* Literal.Number.Bin */
-.mf { color: #666 } /* Literal.Number.Float */
-.mh { color: #666 } /* Literal.Number.Hex */
-.mi { color: #666 } /* Literal.Number.Integer */
-.mo { color: #666 } /* Literal.Number.Oct */
-.sa { color: #BA2121 } /* Literal.String.Affix */
-.sb { color: #BA2121 } /* Literal.String.Backtick */
-.sc { color: #BA2121 } /* Literal.String.Char */
-.dl { color: #BA2121 } /* Literal.String.Delimiter */
-.sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
-.s2 { color: #BA2121 } /* Literal.String.Double */
-.se { color: #AA5D1F; font-weight: bold } /* Literal.String.Escape */
-.sh { color: #BA2121 } /* Literal.String.Heredoc */
-.si { color: #A45A77; font-weight: bold } /* Literal.String.Interpol */
-.sx { color: #008000 } /* Literal.String.Other */
-.sr { color: #A45A77 } /* Literal.String.Regex */
-.s1 { color: #BA2121 } /* Literal.String.Single */
-.ss { color: #19177C } /* Literal.String.Symbol */
-.bp { color: #008000 } /* Name.Builtin.Pseudo */
-.fm { color: #00F } /* Name.Function.Magic */
-.vc { color: #19177C } /* Name.Variable.Class */
-.vg { color: #19177C } /* Name.Variable.Global */
-.vi { color: #19177C } /* Name.Variable.Instance */
-.vm { color: #19177C } /* Name.Variable.Magic */
-.il { color: #666 } /* Literal.Number.Integer.Long */
+.pyg-c { color: #3D7B7B; font-style: italic } /* Comment */
+.pyg-err { border: 1px solid #F00 } /* Error */
+.pyg-k { color: #008000; font-weight: bold } /* Keyword */
+.pyg-o { color: #666 } /* Operator */
+.pyg-ch { color: #3D7B7B; font-style: italic } /* Comment.Hashbang */
+.pyg-cm { color: #3D7B7B; font-style: italic } /* Comment.Multiline */
+.pyg-cp { color: #9C6500 } /* Comment.Preproc */
+.pyg-cpf { color: #3D7B7B; font-style: italic } /* Comment.PreprocFile */
+.pyg-c1 { color: #3D7B7B; font-style: italic } /* Comment.Single */
+.pyg-cs { color: #3D7B7B; font-style: italic } /* Comment.Special */
+.pyg-gd { color: #A00000 } /* Generic.Deleted */
+.pyg-ge { font-style: italic } /* Generic.Emph */
+.pyg-ges { font-weight: bold; font-style: italic } /* Generic.EmphStrong */
+.pyg-gr { color: #E40000 } /* Generic.Error */
+.pyg-gh { color: #000080; font-weight: bold } /* Generic.Heading */
+.pyg-gi { color: #008400 } /* Generic.Inserted */
+.pyg-go { color: #717171 } /* Generic.Output */
+.pyg-gp { color: #000080; font-weight: bold } /* Generic.Prompt */
+.pyg-gs { font-weight: bold } /* Generic.Strong */
+.pyg-gu { color: #800080; font-weight: bold } /* Generic.Subheading */
+.pyg-gt { color: #04D } /* Generic.Traceback */
+.pyg-kc { color: #008000; font-weight: bold } /* Keyword.Constant */
+.pyg-kd { color: #008000; font-weight: bold } /* Keyword.Declaration */
+.pyg-kn { color: #008000; font-weight: bold } /* Keyword.Namespace */
+.pyg-kp { color: #008000 } /* Keyword.Pseudo */
+.pyg-kr { color: #008000; font-weight: bold } /* Keyword.Reserved */
+.pyg-kt { color: #B00040 } /* Keyword.Type */
+.pyg-m { color: #666 } /* Literal.Number */
+.pyg-s { color: #BA2121 } /* Literal.String */
+.pyg-na { color: #687822 } /* Name.Attribute */
+.pyg-nb { color: #008000 } /* Name.Builtin */
+.pyg-nc { color: #00F; font-weight: bold } /* Name.Class */
+.pyg-no { color: #800 } /* Name.Constant */
+.pyg-nd { color: #A2F } /* Name.Decorator */
+.pyg-ni { color: #717171; font-weight: bold } /* Name.Entity */
+.pyg-ne { color: #CB3F38; font-weight: bold } /* Name.Exception */
+.pyg-nf { color: #00F } /* Name.Function */
+.pyg-nl { color: #767600 } /* Name.Label */
+.pyg-nn { color: #00F; font-weight: bold } /* Name.Namespace */
+.pyg-nt { color: #008000; font-weight: bold } /* Name.Tag */
+.pyg-nv { color: #19177C } /* Name.Variable */
+.pyg-ow { color: #A2F; font-weight: bold } /* Operator.Word */
+.pyg-w { color: #BBB } /* Text.Whitespace */
+.pyg-mb { color: #666 } /* Literal.Number.Bin */
+.pyg-mf { color: #666 } /* Literal.Number.Float */
+.pyg-mh { color: #666 } /* Literal.Number.Hex */
+.pyg-mi { color: #666 } /* Literal.Number.Integer */
+.pyg-mo { color: #666 } /* Literal.Number.Oct */
+.pyg-sa { color: #BA2121 } /* Literal.String.Affix */
+.pyg-sb { color: #BA2121 } /* Literal.String.Backtick */
+.pyg-sc { color: #BA2121 } /* Literal.String.Char */
+.pyg-dl { color: #BA2121 } /* Literal.String.Delimiter */
+.pyg-sd { color: #BA2121; font-style: italic } /* Literal.String.Doc */
+.pyg-s2 { color: #BA2121 } /* Literal.String.Double */
+.pyg-se { color: #AA5D1F; font-weight: bold } /* Literal.String.Escape */
+.pyg-sh { color: #BA2121 } /* Literal.String.Heredoc */
+.pyg-si { color: #A45A77; font-weight: bold } /* Literal.String.Interpol */
+.pyg-sx { color: #008000 } /* Literal.String.Other */
+.pyg-sr { color: #A45A77 } /* Literal.String.Regex */
+.pyg-s1 { color: #BA2121 } /* Literal.String.Single */
+.pyg-ss { color: #19177C } /* Literal.String.Symbol */
+.pyg-bp { color: #008000 } /* Name.Builtin.Pseudo */
+.pyg-fm { color: #00F } /* Name.Function.Magic */
+.pyg-vc { color: #19177C } /* Name.Variable.Class */
+.pyg-vg { color: #19177C } /* Name.Variable.Global */
+.pyg-vi { color: #19177C } /* Name.Variable.Instance */
+.pyg-vm { color: #19177C } /* Name.Variable.Magic */
+.pyg-il { color: #666 } /* Literal.Number.Integer.Long */
-----------------------------------------------------------------------
Summary of changes:
configure.ac | 6 +-
doc/info/build_html.sh.in | 4 +-
doc/info/pygments.dark.css | 156 ++++++++++++++++++++++----------------------
doc/info/pygments.light.css | 136 +++++++++++++++++++-------------------
4 files changed, 152 insertions(+), 150 deletions(-)
hooks/post-receive
--
Maxima CAS
|
