From 18b45449ad41b78d08110a047c745a30c95f9e9c Mon Sep 17 00:00:00 2001
From: Marco Stronati <marco@stronati.org>
Date: Tue, 24 Jul 2018 16:53:54 +0200
Subject: [PATCH] Doc: remove unused readme.rst from makefile

---
 docs/Makefile | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/docs/Makefile b/docs/Makefile
index 52b3d0328..5309877c7 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -14,9 +14,6 @@ all: html linkcheck
 linkcheck:
 	$(SPHINXBUILD) -b linkcheck "$(SOURCEDIR)" "$(BUILDDIR)"
 
-introduction/readme.rst: ../README.rst
-	sed 's/TEZOS/How to build and run/' $< > $@
-
 api/errors.rst: $(DOCERRORDIR)/error_doc.ml
 	@cd .. && dune build docs/$(DOCERRORDIR)/error_doc.exe
 	../_build/default/docs/$(DOCERRORDIR)/error_doc.exe > api/errors.rst
@@ -42,4 +39,4 @@ html: Makefile api/errors.rst api/rpc.rst api/p2p.rst
 
 clean:
 	@-rm -Rf "$(BUILDDIR)"
-	@-rm -Rf introduction/readme.rst api/errors.rst api/rpc.rst
+	@-rm -Rf api/errors.rst api/rpc.rst