gas: Update commit 4780e5e4933

[binutils-gdb.git] / gas / doc / Makefile.am

diff --git a/gas/doc/Makefile.am b/gas/doc/Makefile.am
index 34ff5d5b543754fc50766580ba3a4f8c67649425..f2c6654e89da14bf6e887dfbbfc4885778c3dd80 100644 (file)
--- 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