Doc: Fix contrib/amcheck tip.
authorPeter Geoghegan <pg@bowt.ie>
Sun, 12 Apr 2020 04:07:20 +0000 (21:07 -0700)
committerPeter Geoghegan <pg@bowt.ie>
Sun, 12 Apr 2020 04:07:20 +0000 (21:07 -0700)
commit26640c40715c7f2045cf1b7c6753cac40b64d1e8
tree879223c33c37d32850c04e4c84585cbcd09f8eb4
parent35cb574aa84723f4661e9fc51340130e64cb5dfc
Doc: Fix contrib/amcheck tip.

Fixes an oversight in commit 20fbb711.
doc/src/sgml/amcheck.sgml