Fix Texinfo build failure by running `texinfo-all-menus-update'.
commit4efff8f71d81a575dc19122778511827b50d3ae0
authorRobert J. Chassell <bob@rattlesnake.com>
Sat, 28 Sep 2002 19:38:45 +0000 (28 19:38 +0000)
committerRobert J. Chassell <bob@rattlesnake.com>
Sat, 28 Sep 2002 19:38:45 +0000 (28 19:38 +0000)
tree8db586e9641b72fa52c3bfb73541089162bdaeb5
parent7ed9159a5c9793b3b34f948706de1c881672a8e3
Fix Texinfo build failure by running `texinfo-all-menus-update'.
man/ses.texi