diff options
| -rw-r--r-- | man/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/Makefile.in b/man/Makefile.in index 7f4664b01..29afc776b 100644 --- a/man/Makefile.in +++ b/man/Makefile.in @@ -128,6 +128,10 @@ all_man: man $(MAN5) $(MAN7) $(MAN8) $(MAN8SO) $(MAN8DM) $(MAN8CLUSTER) $(MAN8SYSTEMD_GENERATORS): Makefile +$(MANGENERATOR): + @echo " [MAKE] $<" + $(Q) $(MAKE) -C $(top_builddir) tools + # Test whether or not the man page generator works $(TESTMAN): $(MANGENERATOR) Makefile @echo " [TSTMAN] $@" |