Fix dashes and @pxrefs.
authorrms <rms>
Sat, 15 Feb 1992 23:02:55 +0000 (23:02 +0000)
committerrms <rms>
Sat, 15 Feb 1992 23:02:55 +0000 (23:02 +0000)
commit8be4a7c6a3d1ee99e4a19e29bdd52ca01fda4dd0
tree5a38c5e2f4aa180ae37c7d95c1961a11c0403784
parentd54bd5c5e4d6bfa2eaf0267364c453f31709bb91
Fix dashes and @pxrefs.
manual/setjmp.texi