From 7f8932304f059a0a61f838520c213248c08169d1 Mon Sep 17 00:00:00 2001 From: ilja Date: Thu, 2 Feb 2023 14:37:45 +0100 Subject: [PATCH] typo + remove unneeded file --- Makefile | 7 ------- docs/README.md | 2 +- 2 files changed, 1 insertion(+), 8 deletions(-) delete mode 100644 Makefile diff --git a/Makefile b/Makefile deleted file mode 100644 index bc8719e68..000000000 --- a/Makefile +++ /dev/null @@ -1,7 +0,0 @@ -all: install - pipenv run mkdocs build - -install: - pipenv install -clean: - rm -rf docs diff --git a/docs/README.md b/docs/README.md index a9a17a2ab..3da3d1967 100644 --- a/docs/README.md +++ b/docs/README.md @@ -24,5 +24,5 @@ mkdocs serve mkdocs build # To get out of the virtual environment, you do -deacivate +deactivate ```