balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Doc: remove unused readme.rst from makefile

Browse Source
This commit is contained in:
Marco Stronati 2018-07-24 16:53:54 +02:00
parent eae2260d3c
commit 18b45449ad
No known key found for this signature in database
GPG Key ID: 5482EFDAF3288023
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
docs/Makefile
View File

@ -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