Update online helper entries

[helm.git] / matitaB / Makefile.defs.in

diff --git a/matitaB/Makefile.defs.in b/matitaB/Makefile.defs.in
index d7a7620d5949bcfd9eb6cac398a823ad8843ec79..d81753ac32e94922b25c396a08c9e2a80ee878b3 100644 (file)
--- a/matitaB/Makefile.defs.in
+++ b/matitaB/Makefile.defs.in
@@ -11,6 +11,7 @@ ANNOT = @ANNOT@
 
 MATITA_REQUIRES = @FINDLIB_REQUIRES@
 MATITA_CREQUIRES = @FINDLIB_CREQUIRES@
+MATITA_WREQUIRES = @FINDLIB_WREQUIRES@
 
 MATITA_VERSION = @MATITA_VERSION@