merchant

commit 4e79b42fd0f07d276aacb666e91f3d07fa65a57a
parent e57b097e19710bb65d3906a99c17d8e29b1091f6
Author: Christian Grothoff <christian@grothoff.org>
Date:   Fri, 11 Nov 2016 13:21:28 +0100

fix HTML conversion

Diffstat:
M
doc/manual.texi
 | 
1
-

1 file changed, 0 insertions(+), 1 deletion(-)
diff --git a/doc/manual.texi b/doc/manual.texi
@@ -155,7 +155,6 @@ backend installation independent of any particular operating system.
 @c Operating system specific instructions are provided in the following sections.
 @c You should follow the operating system specific instructions if those are available, and only consult the generic instructions if no system-specific instructions are provided for your specific operating system.
 
-@node dependencies
 @subsection Installation of dependencies
 
 The following packages need to be installed before we can compile the