pkg://acl2-doc_3.3-1.1_all.deb:2262244/postinst  info  downloads

#!/bin/sh
set -e
# Automatically added by dh_installinfo
if [ "$1" = "configure" ]; then
	install-info --quiet /usr/share/info/acl2-doc-emacs.info
fi
# End automatically added section