diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/ada_user/ada_user.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ada_user/ada_user.texi b/doc/ada_user/ada_user.texi index 4393441ecb..cd65aa9f62 100644 --- a/doc/ada_user/ada_user.texi +++ b/doc/ada_user/ada_user.texi @@ -100,7 +100,7 @@ END-INFO-DIR-ENTRY @include ../user/conf.texi @include ../user/mp.texi @include ../user/dirstat.texi -@include ../user/example.texi +@include example.texi @include ../user/glossary.texi @ifinfo @node Top, Preface, (dir), (dir) |