diff options
Diffstat (limited to '')
-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 ab19e71643..f925100682 100644 --- a/doc/ada_user/Makefile.am +++ b/doc/ada_user/Makefile.am @@ -16,6 +16,7 @@ COMMON_FILES += \ $(top_builddir)/user/event.texi $(top_builddir)/user/fatal.texi \ $(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/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 \ |