summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorMartin Schanzenbach <mschanzenbach@posteo.de>2021-10-12 10:04:50 +0200
committerMartin Schanzenbach <mschanzenbach@posteo.de>2021-10-12 10:04:50 +0200
commit8ac2a05b365038de36ecac937a15f978bb16ab93 (patch)
treeae2cd3bf8da443066784b8b5edd8f07cd03086e7 /doc
parent78621021635e673407195a4fdf79467573f9dbda (diff)
BUILD: Kill infiniband
Diffstat (limited to 'doc')
-rw-r--r--doc/handbook/chapters/developer.texi3
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/handbook/chapters/developer.texi b/doc/handbook/chapters/developer.texi
index cf13fd816..a8f9d1ec3 100644
--- a/doc/handbook/chapters/developer.texi
+++ b/doc/handbook/chapters/developer.texi
@@ -9470,9 +9470,6 @@ your hosts file).
@strong{Configuration}
Moreover, an appropriate configuration file is needed.
-Generally you can refer to the
-@file{contrib/regex_profiler_infiniband.conf} file in the sourcecode
-of GNUnet for an example configuration.
In the following paragraph the important details are highlighted.
Announcing of the regular expressions is done by the