pkg://acl2-doc_3.4-1_all.deb:2407554/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