diff options
Diffstat (limited to '')
-rw-r--r-- | doc/ada_user/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ada_user/Makefile.am b/doc/ada_user/Makefile.am index 9494c48a56..04ea50cb02 100644 --- a/doc/ada_user/Makefile.am +++ b/doc/ada_user/Makefile.am @@ -44,7 +44,7 @@ states.png: $(top_srcdir)/user/states.png $(LN_S) $< info_TEXINFOS = ada_user.texi -ada_user_TEXINFOS = $(FILES) $(COMMON_FILES) $(GENERATED_FILES) +ada_user_TEXINFOS = $(FILES) $(COMMON_FILES) if USE_HTML html_project_DATA += rtemsarc.png rtemspie.png states.png |