diff options
Diffstat (limited to 'src/proof/Makefile.am')
| -rw-r--r-- | src/proof/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/Makefile.am b/src/proof/Makefile.am index d657dfa80..7588f0dc3 100644 --- a/src/proof/Makefile.am +++ b/src/proof/Makefile.am @@ -16,3 +16,4 @@ libproof_la_SOURCES = \ proof_manager.h \ proof_manager.cpp +EXTRA_DIST = |