pkg://acl2-doc_3.1-1_all.deb:2019780/postinst  info  downloads

#!/bin/sh
set -e
# Automatically added by dh_installdocs
if [ "$1" = configure ] && which install-docs >/dev/null 2>&1; then
	install-docs -i /usr/share/doc-base/ACL2
fi
# End automatically added section
# Automatically added by dh_installinfo
if [ "$1" = "configure" ]; then
	install-info --quiet --section "\QMath\E" "Math" /usr/share/info/acl2-doc-emacs.info
fi
# End automatically added section