diff options
Diffstat (limited to 'gprof/Makefile.am')
| -rw-r--r-- | gprof/Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/gprof/Makefile.am b/gprof/Makefile.am index 4ed2f29584e..5a267075383 100644 --- a/gprof/Makefile.am +++ b/gprof/Makefile.am @@ -103,4 +103,10 @@ gprof.1: $(srcdir)/gprof.texi config.texi (rm -f $@.T$$$$ && exit 1) rm -f gprof.pod +html-local: doc/gprof/index.html +doc/gprof/index.html: gprof.texi $(gprof_TEXINFOS) + $(MKDIR_P) doc + $(AM_V_at)$(MAKEINFOHTML) $(AM_MAKEINFOHTMLFLAGS) $(MAKEINFOFLAGS) \ + --split=node -I$(srcdir) $(srcdir)/gprof.texi -o doc/gprof + MAINTAINERCLEANFILES = gprof.info |