mirror of
https://github.com/MariaDB/server.git
synced 2025-01-16 12:02:42 +01:00
dc4e41dcae
a node name was changed in manual.texi which resulted in a very large
ReadMe.txt file, as the generating script could not find the (renamed)
ending node. Fixed the ending node name in Docs/Makefile.am and the
Docs/Support/generate-text-files.pl Perl script to make sure this does
not happen again (I only discovered this because the Do-pkg script was
not able to add the ReadMe.txt to the Apple Disk image because it ran out
of disk space due to the size of the file)
Docs/Makefile.am:
- Fixed a node name that was changed in manual.texi and resulted in
the generation of a _very_ large ReadMe.txt file (down to the very end
of the manual, since the ending node was not found)
Docs/Support/generate-text-files.pl:
- added a safeguard: if the ending node was not found, abort with an error
to indicate that the generated text file might be too large (as it would
contain the whole manual, down from the starting node)
- made some cosmetical changes
|
||
|---|---|---|
| .. | ||
| .cvsignore | ||
| colspec-fix.pl | ||
| docbook-fixup.pl | ||
| docbook-prefix.pl | ||
| docbook-split | ||
| generate-flag-images | ||
| generate-mirror-listing.pl | ||
| generate-text-files.pl | ||
| make-docbook | ||
| make-makefile | ||
| test-make-manual | ||
| test-make-manual-de | ||
| texi2html | ||
| texinfo.tex | ||
| trivial-makeinfo-4.0c.patch | ||
| update-reserved-words.pl | ||
| xwf | ||