diff options
-rw-r--r-- | contrib/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/Makefile.am b/contrib/Makefile.am index 4e7928c7e..e05e9caf9 100644 --- a/contrib/Makefile.am +++ b/contrib/Makefile.am | |||
@@ -206,6 +206,7 @@ EXTRA_DIST = \ | |||
206 | docker/README.md \ | 206 | docker/README.md \ |
207 | docker/gnunet.conf \ | 207 | docker/gnunet.conf \ |
208 | benchmark/collect.awk \ | 208 | benchmark/collect.awk \ |
209 | get_version.sh \ | ||
209 | gnunet_infrastructure/handbook_pull.sh \ | 210 | gnunet_infrastructure/handbook_pull.sh \ |
210 | guix.scm \ | 211 | guix.scm \ |
211 | indent_pre-commit \ | 212 | indent_pre-commit \ |