search

SRI-CSL / PVS

The People's Verification System
http://pvs.csl.sri.com
GNU General Public License v2.0
132 stars 32 forks source link

Escape curly braces in texinfo source #72

Closed jamesjer closed 3 years ago

jamesjer commented 4 years ago

Makeinfo says:

./pvs7.1-release-notes.texi:765: misplaced {
./pvs7.1-release-notes.texi:765: misplaced {
./pvs7.1-release-notes.texi:768: misplaced }
./pvs7.1-release-notes.texi:768: misplaced }

Literal curly braces should be escaped.

jamesjer commented 3 years ago

Updated for current git head.