diff options
| author | Martin Schanzenbach <schanzen@gnunet.org> | 2023-10-16 13:24:23 +0200 |
|---|---|---|
| committer | Martin Schanzenbach <schanzen@gnunet.org> | 2023-10-16 13:24:23 +0200 |
| commit | 4e6de4473f4c1baa9c9e8c35e56a48bd0485eeb1 (patch) | |
| tree | 4b1413222aedd776fceece756e6405c774f33347 /contrib | |
| parent | 8e77eaf45bc05a28baf0f009fa3b21660dbb0bfb (diff) | |
| download | gnunet-4e6de4473f4c1baa9c9e8c35e56a48bd0485eeb1.tar.gz gnunet-4e6de4473f4c1baa9c9e8c35e56a48bd0485eeb1.zip | |
build: delete deprecated buildfiles for docs
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/Makefile.am | 1 |
1 files changed, 0 insertions, 1 deletions
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 = \ | |||
| 196 | docker/README.md \ | 196 | docker/README.md \ |
| 197 | benchmark/collect.awk \ | 197 | benchmark/collect.awk \ |
| 198 | get_version.sh \ | 198 | get_version.sh \ |
| 199 | gnunet_infrastructure/handbook_pull.sh \ | ||
| 200 | packages/guix/guix.scm \ | 199 | packages/guix/guix.scm \ |
| 201 | indent_pre-commit \ | 200 | indent_pre-commit \ |
| 202 | Makefile.inc \ | 201 | Makefile.inc \ |