diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/FAQ/Makefile.am | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/FAQ/Makefile.am b/doc/FAQ/Makefile.am index 5200056258..8021d7d649 100644 --- a/doc/FAQ/Makefile.am +++ b/doc/FAQ/Makefile.am @@ -17,7 +17,8 @@ GENERATED_FILES = basic.texi tools.texi concepts.texi build45.texi bsp.texi \ debug.texi freesw.texi embeddedinfo.texi hwdebugaids.texi projects.texi \ endoftime.texi -COMMON_FILES = $(top_srcdir)/common/setup.texi $(top_srcdir)/common/cpright.texi +COMMON_FILES = $(top_srcdir)/common/setup.texi \ + $(top_srcdir)/common/cpright.texi FILES = @@ -83,4 +84,5 @@ $(srcdir)/endoftime.texi: endoftime.t -u "Top" \ -n "" < $< > $@ -EXTRA_DIST = entry *.t +EXTRA_DIST = entry basic.t bsp.t build45.t concepts.t debug.t embeddedinfo.t \ + endoftime.t freesw.t hwdebugaids.t projects.t tools.t |