From c2b882d4cf29a776a7665aab0a0ca2497507cae7 Mon Sep 17 00:00:00 2001 From: Tarek Ismail Date: Wed, 2 Oct 2024 18:10:18 +0300 Subject: [PATCH] Echo $pwd right after configuring --- doc/sphinx/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/sphinx/Makefile b/doc/sphinx/Makefile index 6ee9dcd210..65545b7370 100644 --- a/doc/sphinx/Makefile +++ b/doc/sphinx/Makefile @@ -78,7 +78,7 @@ run: install # Doesn't depend on $(BUILDDIR) to rebuild properly at every run. html: install configure - . $(VENV); cd ../../.build_doc/doc/sphinx; $(SPHINXBUILD) -b dirhtml "$(SOURCEDIR)" "$(BUILDDIR)" -w $(SPHINXDIR)/warnings.txt $(SPHINXOPTS) + @. $(VENV); echo $(shell pwd); cd ../../.build_doc/doc/sphinx; $(SPHINXBUILD) -b dirhtml "$(SOURCEDIR)" "$(BUILDDIR)" -w $(SPHINXDIR)/warnings.txt $(SPHINXOPTS) epub: install . $(VENV); $(SPHINXBUILD) -b epub "$(SOURCEDIR)" "$(BUILDDIR)" -w $(SPHINXDIR)/warnings.txt $(SPHINXOPTS)