From 0056528319701c7c0a8772a43b60cc80d17c72d4 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9o=20FIDRY?= Date: Mon, 9 Jan 2023 19:15:03 +0100 Subject: [PATCH] chore(website): Move the produced artifact out to the `dist` directory --- .gitignore | 2 -- Makefile | 5 +++++ mkdocs.yaml | 1 + 3 files changed, 6 insertions(+), 2 deletions(-) diff --git a/.gitignore b/.gitignore index ac6416486..abf128a0a 100644 --- a/.gitignore +++ b/.gitignore @@ -30,8 +30,6 @@ /fixtures/php-settings-checker/output-xdebug-enabled /phpcs.xml /phpunit.xml -/site/ /vendor-bin/*/composer.lock /vendor-bin/*/vendor/ /vendor/ -/website/ diff --git a/Makefile b/Makefile index 0884f756f..18b68091d 100644 --- a/Makefile +++ b/Makefile @@ -38,6 +38,11 @@ clean: ## Cleans all created artifacts clean: git clean --exclude=.idea/ -ffdx rm -rf fixtures/check-requirements || true + @# Obsolete entries; Only relevant to someone who still has old artifacts locally + @rm -rf \ + site \ + website \ + || true .PHONY: compile compile: ## Compiles the application into the PHAR diff --git a/mkdocs.yaml b/mkdocs.yaml index d9eb9b74b..f309dbe1d 100644 --- a/mkdocs.yaml +++ b/mkdocs.yaml @@ -2,6 +2,7 @@ site_name: Box Project site_description: "Box: building and managing PHARs" site_url: https://box-project.github.io/box +site_dir: dist/website # Repository repo_name: 'box-project/box'