Fix cross ref.
authorrms <rms>
Wed, 23 Sep 1992 06:51:15 +0000 (06:51 +0000)
committerrms <rms>
Wed, 23 Sep 1992 06:51:15 +0000 (06:51 +0000)
commitfa7a900df892d1f9ccc21d075b3befb4f074deca
tree0e0a938ac7d441b3266387a21e32a2bdcfb205f5
parent606055e036a05490f5023616bdfa1e8cacfb81aa
Fix cross ref.
manual/pattern.texi