diff .hgignore @ 6140:213711ca7653 stable

ci: use the top-level Makefile to build docs There is `doc` target, so let's use it.
author Anton Shestakov <av6@dwimlabs.net>
date Mon, 21 Feb 2022 17:48:47 +0300
parents aad37ffd7d58
children ba316ce15040
line wrap: on
line diff