1 files changed, 1 insertions, 1 deletions

diff --git a/configure.ac b/configure.ac
index 965c483c3..471be3e29 100644
--- 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