From d6b8bd4f6cabd447c27c7add3ea4fdaeddb8b498 Mon Sep 17 00:00:00 2001 From: Kenneth Hoste Date: Sun, 23 Oct 2022 10:56:21 +0200 Subject: [PATCH] fix build target of Makefile --- Makefile | 2 +- docs/{configuring_easybuild.md => configuration.md} | 0 docs/{installing_easybuild.md => installation.md} | 0 docs/{easybuild_terminology.md => terminology.md} | 0 4 files changed, 1 insertion(+), 1 deletion(-) rename docs/{configuring_easybuild.md => configuration.md} (100%) rename docs/{installing_easybuild.md => installation.md} (100%) rename docs/{easybuild_terminology.md => terminology.md} (100%) diff --git a/Makefile b/Makefile index ff24720e8..4b358c5c1 100644 --- a/Makefile +++ b/Makefile @@ -1,6 +1,6 @@ all: build -build: +build: docs mkdocs.yml mkdocs build deploy: diff --git a/docs/configuring_easybuild.md b/docs/configuration.md similarity index 100% rename from docs/configuring_easybuild.md rename to docs/configuration.md diff --git a/docs/installing_easybuild.md b/docs/installation.md similarity index 100% rename from docs/installing_easybuild.md rename to docs/installation.md diff --git a/docs/easybuild_terminology.md b/docs/terminology.md similarity index 100% rename from docs/easybuild_terminology.md rename to docs/terminology.md