-fix

diff --git a/configure.ac b/configure.ac
index 965c483c3b33cbee8ad9296e525ec6038e8042c6..471be3e29551e3d9f9d5cc4a40005c5b208ed43d 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -1346,7 +1346,7 @@ src/pt/Makefile
 src/regex/Makefile
 src/regex/regex.conf
 src/revocation/Makefile
-src/revocation/regex.conf
+src/revocation/revocation.conf
 src/scalarproduct/Makefile
 src/scalarproduct/scalarproduct.conf
 src/set/Makefile