diff options
Diffstat (limited to 'doc/supplements/supplement.am')
| -rw-r--r-- | doc/supplements/supplement.am | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/doc/supplements/supplement.am b/doc/supplements/supplement.am index 6869e0dd0a..151cba30b0 100644 --- a/doc/supplements/supplement.am +++ b/doc/supplements/supplement.am @@ -4,9 +4,17 @@ ## Makefile fragment common to all supplements/<cpu>/Makefile.ams ## -## Unused -## REPLACE = $(PERL) $(top_srcdir)/tools/word-replace REPLACE2 = $(PERL) $(top_srcdir)/tools/word-replace2 MAINTAINERCLEANFILES += $(GENERATED_FILES) CLEANFILES += *.fixed + +html_projectdir = $(htmldir)/supplements/$(PROJECT) + +TEXI2WWW_ARGS=\ +-I $(srcdir) \ +-dirfile ../../index.html \ +-header $(top_builddir)/rtems_header.html \ +-footer $(top_builddir)/rtems_footer.html \ +-icons ../../images + |