From 354f82ebc83f67e627ce5efdbf7172d210afa301 Mon Sep 17 00:00:00 2001 From: Melody Horn Date: Wed, 28 Oct 2020 17:32:49 -0600 Subject: ensure file names are consistent --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 432029b..ebe0ed5 100644 --- a/Makefile +++ b/Makefile @@ -5,7 +5,7 @@ GIT = git SPHINXBUILD = sphinx-build SPHINXOPTS = -SPHINXDEFVER = -D version="$$($(GIT) describe --tags --exact-match 2>/dev/null || $(GIT) log -1 --no-decorate --oneline)" +SPHINXDEFVER = -D release="$$($(GIT) describe --tags --exact-match 2>/dev/null || $(GIT) log -1 --no-decorate --oneline)" SPHINXFULLOPTS = $(SPHINXDEFVER) $(SPHINXOPTS) SOURCEDIR = . BUILDDIR = _build @@ -29,4 +29,4 @@ clean: rm -rf _build/* check: pdf - test $$($(PDFINFO) _build/rinoh/crowbarlanguage.pdf | grep Pages | awk '{ print $$2 }') -le 200 + test $$($(PDFINFO) _build/rinoh/crowbar-spec.pdf | grep Pages | awk '{ print $$2 }') -le 200 -- cgit v1.2.3