diff --git a/src/deforaos-package.sh b/src/deforaos-package.sh
index e9f7b7f..7126fcc 100755
--- a/src/deforaos-package.sh
+++ b/src/deforaos-package.sh
@@ -871,6 +871,13 @@ EOF
 		echo ""
 		echo ".if \${PKGMANDIR} != \"share/man\""
 		echo "post-install:"
+		for i in doc/*.xml; do
+			[ -f "$i" ] || continue
+			[ "${i%.css.xml}" = "$i" ] || continue
+			page="${i#doc/}"
+			page="${page%.xml}.html"
+			echo "	\${MV} \${DESTDIR}\${PREFIX}/share/man/html1/$page \${DESTDIR}\${PREFIX}/\${PKGMANDIR}/html1/$page"
+		done | $SORT
 		for i in doc/*.xml; do
 			[ -f "$i" ] || continue
 			[ "${i%.css.xml}" = "$i" ] || continue
@@ -878,6 +885,7 @@ EOF
 			page="${page%.xml}.1"
 			echo "	\${MV} \${DESTDIR}\${PREFIX}/share/man/man1/$page \${DESTDIR}\${PREFIX}/\${PKGMANDIR}/man1/$page"
 		done | $SORT
+		echo "	\${RMDIR} \${DESTDIR}\${PREFIX}/share/man/html1"
 		echo "	\${RMDIR} \${DESTDIR}\${PREFIX}/share/man/man1"
 		echo "	\${RMDIR} \${DESTDIR}\${PREFIX}/share/man"
 		echo ".endif"