diff options
Diffstat (limited to 'doc/started/started.texi')
-rw-r--r-- | doc/started/started.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/started/started.texi b/doc/started/started.texi index b79d534752..9cfb33ee18 100644 --- a/doc/started/started.texi +++ b/doc/started/started.texi @@ -24,7 +24,7 @@ @c @c Now set all the tool version dependent information @c -@include versions.texi +@include tversions.texi @ignore @ifinfo |