# Copyright 1999-2022 Gentoo Authors
# Copyright 1999-2023 Gentoo Authors
# Distributed under the terms of the GNU General Public License v2
EAPI=7
(
cd doc || die
dodoc *.{html,css,ico,png} ${PN}.pdf
dodoc -r asdf
dodoc -r asdf_html
)
if has_version ">=dev-lisp/sbcl-1.4.0" ; then
-