diff options
Diffstat (limited to 'doc/src/Makefile')
| -rw-r--r-- | doc/src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/Makefile b/doc/src/Makefile index 30d883815aa..2ed02084ff5 100644 --- a/doc/src/Makefile +++ b/doc/src/Makefile @@ -4,5 +4,5 @@ subdir = doc/src top_builddir = ../.. include $(top_builddir)/src/Makefile.global -all distprep html man install installdirs uninstall clean distclean maintainer-clean: +all html man install installdirs uninstall clean distclean: $(MAKE) -C sgml $@ |