diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -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 |