summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorSamuel Thibault <samuel.thibault@ens-lyon.org>2015-11-29 15:26:44 +0100
committerSamuel Thibault <samuel.thibault@ens-lyon.org>2015-11-29 15:26:44 +0100
commite2b83d4dfdcb63a6a484eb4461ac4f322853086f (patch)
tree3808ba31c3215951fa3f8f45f52afcfea583c9dd /doc
parent30c4d96a509b1d61bd780543544ce75508a071af (diff)
Fix undefined reference
* doc/hurd.texi (devnode): Do not reference not-yet-existing eth-multiplexer node.
Diffstat (limited to 'doc')
-rw-r--r--doc/hurd.texi3
1 files changed, 1 insertions, 2 deletions
diff --git a/doc/hurd.texi b/doc/hurd.texi
index ccd7c91c..b3ac9cf7 100644
--- a/doc/hurd.texi
+++ b/doc/hurd.texi
@@ -2963,8 +2963,7 @@ If @option{--name} is specified, the client must use the device name in
@dfn{device_open}. Otherwise, any device name is acceptable.
@option{--master-device} can be useful to open the virtual interface
-created by some other programs, for example by @dfn{eth-multiplexer}
-(@pxref{eth-multiplexer}).
+created by some other programs, for example by eth-multiplexer.
FIXME: a chapter on libtreefs and libdirmgt will probably go here