doc/check.texi: Fix do_install error with automake 1.18#363

robertlinux wants to merge 1 commit intolibcheck:masterlibcheck/check:masterfrom

robertlinux:rbt/check.texirobertlinux/check:rbt/check.texiCopy head branch name to clipboard