diff options
Diffstat (limited to 'gas/doc/Makefile.am')
| -rw-r--r-- | gas/doc/Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/gas/doc/Makefile.am b/gas/doc/Makefile.am index 34ff5d5..f2c6654 100644 --- a/gas/doc/Makefile.am +++ b/gas/doc/Makefile.am @@ -133,4 +133,9 @@ as.1: $(srcdir)/as.texi asconfig.texi $(CPU_DOCS) (rm -f $@.T$$$$ && exit 1) rm -f as.pod +html-local: as/index.html +as/index.html: as.texi $(as_TEXINFOS) + $(AM_V_at)$(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) \ + --split=node -I$(srcdir) $(srcdir)/as.texi + MAINTAINERCLEANFILES += as.info |