diff --git a/doc/Makefile b/doc/Makefile
index 9f575d0e1fa64b43cefe3f297cdc687e6c2f8566..521fc626a77b9c79057cffa1d77091c71969eabb 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -209,7 +209,9 @@ MANPAGES_DESTDIR_1 = $(DESTDIR)$(man1dir)
 
 DOCS_DESTDIR = $(DESTDIR)$(docdir)
 
-all: $(TXTFILES) | $(MANPAGES)
+txt: $(TXTFILES)
+
+all: | $(MANPAGES)
 
 $(MANPAGES_WEBDIR_LINUX) $(MANPAGES_WEBDIR_WINDOWS):
 	$(MKDIR) -p $@