From f51fab4baa15800c261d3dfd07bf65cdec5eaabe Mon Sep 17 00:00:00 2001
From: Eugene Yaremenko <w3techplayground@gmail.com>
Date: Sun, 8 Jan 2023 17:21:32 +0100
Subject: [PATCH] use spacemacs distro to build web docs

---
 .circleci/web/.spacemacs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.circleci/web/.spacemacs b/.circleci/web/.spacemacs
index 875aeed5d..5185dcdd6 100755
--- a/.circleci/web/.spacemacs
+++ b/.circleci/web/.spacemacs
@@ -1,6 +1,6 @@
 (defun dotspacemacs/layers ()
   (setq-default
-   dotspacemacs-distribution 'spacemacs-base
+   dotspacemacs-distribution 'spacemacs
    dotspacemacs-configuration-layers '(
                                        (org :variables
                                             org-enable-github-support t