#!/bin/sh
# SPDX-License-Identifier: GPL-3.0-or-later
test -e ../doc/html/index.html