Fix @pxrefs.
authorrms <rms>
Sat, 15 Feb 1992 23:11:34 +0000 (23:11 +0000)
committerrms <rms>
Sat, 15 Feb 1992 23:11:34 +0000 (23:11 +0000)
commit4af80e3ebe3d392ab0c31c4141b78923abb20d09
treefd8e5e3002817e0217003119fdf81d7740268d57
parentf23d545e11c3e685eaa4c69256f7e5afce9f8834
Fix @pxrefs.
manual/sysinfo.texi