diff options
| -rw-r--r-- | doc/id-utils.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/id-utils.texi b/doc/id-utils.texi index bda4734..32402af 100644 --- a/doc/id-utils.texi +++ b/doc/id-utils.texi @@ -369,7 +369,7 @@ options: @cindex language map file @var{mapfile} contains rules for determining the source languages from -file names. @xref{Language map} +file names @xref{Language map}. @item -i @var{languages} @itemx --include=@var{languages} |