diff options
author | Eric S. Raymond <esr@thyrsus.com> | 2020-11-10 19:56:39 -0500 |
---|---|---|
committer | Eric S. Raymond <esr@thyrsus.com> | 2020-11-10 19:56:39 -0500 |
commit | ab32ad65bb13eff5c1210c56d564af2c71516262 (patch) | |
tree | 182ed52b5b93d6dd024786e82f49342137a1c800 | |
parent | 2056b2184d018c919b63abd26f1784ebf47077ac (diff) | |
download | flex-git-ab32ad65bb13eff5c1210c56d564af2c71516262.tar.gz |
Repair some markup damage in the manual.
-rw-r--r-- | doc/flex.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/flex.texi b/doc/flex.texi index 0457279..30d98dd 100644 --- a/doc/flex.texi +++ b/doc/flex.texi @@ -1,4 +1,4 @@ -busuinput texinfo.tex @c -*-texinfo-*- +\input texinfo.tex @c -*-texinfo-*- @c %**start of header @setfilename flex.info @include version.texi |