diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 197a040a9908f8b3672d3d582f7d6e475d9d4170..106a989ba6da086d045ea4859f43f4aa95e61185 100644
--- a/doc/userman/Makefile
+++ b/doc/userman/Makefile
@@ -13,7 +13,6 @@ FCLANG_VERSION= $(shell cat $(VERSION_FILE))
 
 DEPS_MODERN=fclangversion.tex biblio.bib macros.tex \
 	introduction.tex \
-	provides.tex \
 	limitations.tex \
 	changes.tex \
 	$(C_CODE) \