From 68c795772d6234e2c370348bf469ac47c450cef7 Mon Sep 17 00:00:00 2001 From: jao Date: Sun, 4 Apr 2021 02:41:05 +0100 Subject: user manual and web pages updates --- doc/web.texi | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) (limited to 'doc/web.texi') diff --git a/doc/web.texi b/doc/web.texi index 5ec902e..6761db5 100644 --- a/doc/web.texi +++ b/doc/web.texi @@ -7,7 +7,6 @@ @node Top, Introduction, (dir), (dir) @include top.texi -@vblurb{} @menu * Introduction:: @@ -22,8 +21,8 @@ @html
@end html -- cgit v1.2.3