diff options
Diffstat (limited to 'doc/ada_user/Makefile.am')
-rw-r--r-- | doc/ada_user/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/ada_user/Makefile.am b/doc/ada_user/Makefile.am index f925100682..205b1c857b 100644 --- a/doc/ada_user/Makefile.am +++ b/doc/ada_user/Makefile.am @@ -17,6 +17,7 @@ COMMON_FILES += \ $(top_builddir)/user/glossary.texi $(top_builddir)/user/init.texi \ $(top_builddir)/user/intr.texi $(top_builddir)/user/io.texi \ $(top_builddir)/user/libpci.texi \ + $(top_builddir)/user/linkersets.texi \ $(top_builddir)/user/mp.texi $(top_builddir)/user/msg.texi \ $(top_builddir)/user/overview.texi $(top_builddir)/user/part.texi \ $(top_builddir)/user/preface.texi $(top_builddir)/user/region.texi \ |