unknown 49ddcb92d2 Fix to reserved words script. ...

Updated reserved words list in manual.


Docs/Support/update-reserved-words.pl:
  Fix to reserved words script, 2 keywords and 15 synonyms were missing.
Docs/manual.texi:
  Updated reserved word list.

2001-11-20 13:29:02 +10:00

..

.cvsignore

Import changeset

2000-07-31 21:29:14 +02:00

docbook-fixup.pl

Fix list of sections to leave out of printed manual.

2001-11-01 16:18:05 +10:00

generate-flag-images

New argentina.eps flag

2001-01-01 20:53:24 +02:00

generate-mirror-listing.pl

Import changeset

2000-07-31 21:29:14 +02:00

generate-text-files.pl

Import changeset

2000-07-31 21:29:14 +02:00

make-makefile

Import changeset

2000-07-31 21:29:14 +02:00

test-make-manual

Make test-make-manual more portable.

2001-03-04 15:37:11 -05:00

texi2html

Patch our texi2html to produce more correct HTML.

2001-05-31 15:08:26 -04:00

texinfo.tex

Fix for Tex 3.0

2000-12-31 14:04:18 +02:00

update-reserved-words.pl

Fix to reserved words script.

2001-11-20 13:29:02 +10:00