sectioning fix
authorChristian Grothoff <christian@grothoff.org>
Fri, 21 Jun 2019 22:44:33 +0000 (00:44 +0200)
committerChristian Grothoff <christian@grothoff.org>
Fri, 21 Jun 2019 22:45:07 +0000 (00:45 +0200)
commit8137c9abcf3e3f3a457330fbfdb4d5f09572ddb1
treea8ca8acbfd11c1f1d80cb1300245e19374573dc4
parentbda8f61b0f2f54a3aa675a966ef0954b8fff0d6e
sectioning fix
doc/handbook/chapters/user.texi