* doc/misc/sem-user.texi (Include paths): Fix a Texinfo command.