1 files changed, 7 insertions, 0 deletions
diff --git a/extra/hotdoc/PKGBUILD b/extra/hotdoc/PKGBUILD
new file mode 100644
index 00000000..ab1235a9
--- /dev/null
+++ b/extra/hotdoc/PKGBUILD
@@ -0,0 +1,7 @@
+# patch CARCH
+eval "$(
+  declare -f check | \
+    sed '
+      s/\$CARCH/i686/
+    ';
+)"