diff --git a/doc/dev/build.sh b/doc/dev/build.sh
index bf1a6790ae09cb2574846829a829802cb7d36112..1afb7ca20730eae9fc9f597c0b579b070b4bcff2 100755
--- a/doc/dev/build.sh
+++ b/doc/dev/build.sh
@@ -12,6 +12,9 @@ echo " HTML documentation.org"
 emacs -Q -q -nw --batch                                 \
       --eval "(require 'org)"                           \
       --eval "(require 'ox-latex)"                      \
+      --eval "(require 'ox-html)"                       \
+      --eval "(package-initialize)"                     \
+      --eval "(require 'htmlize)"                       \
       --eval "(load-file \"../tools/setup.el\")"        \
       --file ./documentation.org                        \
       -f org-html-export-to-html
diff --git a/doc/users/build.sh b/doc/users/build.sh
index bf1a6790ae09cb2574846829a829802cb7d36112..1afb7ca20730eae9fc9f597c0b579b070b4bcff2 100755
--- a/doc/users/build.sh
+++ b/doc/users/build.sh
@@ -12,6 +12,9 @@ echo " HTML documentation.org"
 emacs -Q -q -nw --batch                                 \
       --eval "(require 'org)"                           \
       --eval "(require 'ox-latex)"                      \
+      --eval "(require 'ox-html)"                       \
+      --eval "(package-initialize)"                     \
+      --eval "(require 'htmlize)"                       \
       --eval "(load-file \"../tools/setup.el\")"        \
       --file ./documentation.org                        \
       -f org-html-export-to-html