From 821a92a94a077bdfcc30933673b231b2472e249b Mon Sep 17 00:00:00 2001
From: DavidCok <cok@frontiernet.net>
Date: Mon, 22 Jul 2019 10:18:17 +0200
Subject: [PATCH] Updating Makefile

---
 doc/userman/Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/doc/userman/Makefile b/doc/userman/Makefile
index 197a040a..106a989b 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) \
-- 
GitLab