circleci: fix building docs on non-master builds

diff --git a/.circleci/config.yml b/.circleci/config.yml
index f1b1ca91e5f4ad2ae5bf49a2f39548d2fff55bf8..b2ff9ba8355035adb35902d84c6ee3b405cbe5d6 100644 (file)
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -363,7 +363,7 @@ commands:
       - run:
           name: build docs
           command: |
-            make all-docs
+            make html-docs
             if [ "${CIRCLE_PROJECT_USERNAME}" = "PowerDNS" -a "${CIRCLE_PROJECT_REPONAME}" = "pdns" -a "${CIRCLE_BRANCH}" = "master" ]; then
               make all-docs
             fi
@@ -399,7 +399,10 @@ commands:
       - run:
           name: build docs
           command: |
-            make all-docs
+            make html-docs
+            if [ "${CIRCLE_PROJECT_USERNAME}" = "PowerDNS" -a "${CIRCLE_PROJECT_REPONAME}" = "pdns" -a "${CIRCLE_BRANCH}" = "master" ]; then
+              make all-docs
+            fi
           working_directory: ~/project/pdns/dnsdistdist
 
   upload-dnsdist-docs: