Update texinfo menus so that info documentation builds.
authorJan Nieuwenhuizen <janneke@gnu.org>
Mon, 29 Feb 2016 18:38:44 +0000 (19:38 +0100)
committerChristopher Allan Webber <cwebber@dustycloud.org>
Tue, 1 Mar 2016 00:32:43 +0000 (16:32 -0800)
commitb02ef57f2b8036fddcd5e039302a437160167f78
tree7c43311bb72d24be4bfd29b85c131e1017d2044a
parenta796f7cbae8c77b49aeca925024e42bf024aa857
Update texinfo menus so that info documentation builds.

* 8sync.texi: Run texinfo-all-menus-update.
doc/8sync.texi