To make it easier to choose which version of makeinfo to use to build
the docs, allow configure to recognize MAKEINFO on the command line to
specify the path to makeinfo.
Use something like `configure <options> MAKEINFO=/path/to/makeinfo`
59cf218...
by
Wolfgang Dautermann <email address hidden>
32669e2...
by
Wolfgang Dautermann <email address hidden>
Windows installer: Update the build instructions.
I did set up a Github repository, where I use the Github CI infrastructure
to show how the installer is build.
And now I can exactly tell, which packages must be installed (on their
standardized build machines), so that should be reproducible by everyone.
There seem some small bugs in the Ubuntu dependencies, but now it works.
Found a workaround how to build a Maxima installer in a non-interactive
shell, cronjob or the CI build machines. And documented that.
Fix #4149: Move fnindex and vrindex before the definition
In the HTML docs, the links for the @fnindex and @vrindex items would
be placed after the definition line. This is pretty annoying because
you would have to scroll up to find the definition line. By moving
the index commands before the definition, the links now show the
definition line. No change to what the text help shows.
I did not test every link, but did test quite a few and they are in
the right place for both html and text.
baf78ae...
by
Wolfgang Dautermann <email address hidden>
Windows installer: Hopefully fix an issue with Ubuntu 22.04 / 32bit.
The libgcc library libgcc_s_sjlj-1.dll seems to have another name on
that system.
