mirror/mariadb
1
0
Fork 0
mirror of https://github.com/MariaDB/server.git synced 2026-05-14 19:07:15 +02:00
Code Issues Projects Releases Packages Wiki Activity

- fixed text file generation - the node names in the info page had changed

Browse source 
BitKeeper/deleted/.del-generate-flag-images~f77476753fff8186:
  Delete: Docs/Support/generate-flag-images
Docs/Makefile.am:
  - fixed node names for the new info file
Docs/Support/generate-text-files.pl:
  - stop printing if the index was reached
This commit is contained in:
unknown 2005-06-23 11:30:40 +02:00
commit 0beb0abf5a
3 changed files with 5 additions and 36 deletions
Download patch file Download diff file Expand all files Collapse all files

2
Docs/Support/generate-text-files.pl
View file

@ -13,7 +13,7 @@ while (<IN>)
{
if ($in)
{
if (/Node: $tnode,/)
if (/Node: $tnode,/ || /\[index/)
{
$in = 0;
}