diff --git a/doc/Makefile b/doc/Makefile
index b91e80c566efcd7e635910aa4823c69d75c38780..46a590fe5cea6bae90a07cb62bd156350e04d65b 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -243,7 +243,7 @@ install: compress
 uninstall:
 	$(foreach f, $(notdir $(GZFILES_7)), $(RM) $(MANPAGES_DESTDIR_7)/$(f))
 	$(foreach f, $(notdir $(GZFILES_5)), $(RM) $(MANPAGES_DESTDIR_5)/$(f))
-	$(foreach f, $(notdir $(GZFILES_3)), $(RM) $(MANPAGES_DESTDIR_3)/$(f))
+	$(foreach f, $(notdir $(GZFILES_3) $(GZFILES_3_DUMMY)), $(RM) $(MANPAGES_DESTDIR_3)/$(f))
 	$(foreach f, $(notdir $(GZFILES_1)), $(RM) $(MANPAGES_DESTDIR_1)/$(f))
 
 FORCE: