* doc/dejagnu.texi: Fix capitalisation of procedure names
authorBen Elliston <bje@gnu.org>
Sat, 2 Apr 2016 11:11:23 +0000 (22:11 +1100)
committerBen Elliston <bje@gnu.org>
Sat, 2 Apr 2016 11:11:23 +0000 (22:11 +1100)
commit4fb2872c9540ba8c8863784876cda0152189502a
treec2b7c21c214a18feaa8fbcad78cf460ffd0c998b
parent55837d0e2010b9bd49533376b2510b252e4492fe
* doc/dejagnu.texi: Fix capitalisation of procedure names
throughout.
doc/dejagnu.texi