[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[gnunet] 02/03: build: delete deprecated buildfiles for docs
From: |
gnunet |
Subject: |
[gnunet] 02/03: build: delete deprecated buildfiles for docs |
Date: |
Mon, 16 Oct 2023 13:27:25 +0200 |
This is an automated email from the git hooks/post-receive script.
martin-schanzenbach pushed a commit to branch master
in repository gnunet.
commit 4e6de4473f4c1baa9c9e8c35e56a48bd0485eeb1
Author: Martin Schanzenbach <schanzen@gnunet.org>
AuthorDate: Mon Oct 16 13:24:23 2023 +0200
build: delete deprecated buildfiles for docs
---
contrib/Makefile.am | 1 -
1 file changed, 1 deletion(-)
diff --git a/contrib/Makefile.am b/contrib/Makefile.am
index ab4c41dc9..ce88f6c35 100644
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -196,7 +196,6 @@ EXTRA_DIST = \
docker/README.md \
benchmark/collect.awk \
get_version.sh \
- gnunet_infrastructure/handbook_pull.sh \
packages/guix/guix.scm \
indent_pre-commit \
Makefile.inc \
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.