diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index 6adbfb7..458172c 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -11,7 +11,6 @@ html: $(PKG).html html-dir: $(PKG)/index.html pdf: $(PKG).pdf -ORG_ARGS = --batch -Q $(ORG_LOAD_PATH) ORG_EVAL += --eval "(setq indent-tabs-mode nil)" ORG_EVAL += --eval "(setq org-src-preserve-indentation nil)" ORG_EVAL += --eval "\ @@ -29,7 +28,7 @@ _ := $(shell test "$(REVDESC)" = "$$(cat .revdesc 2> /dev/null)" ||\ %.texi: %.org .orgconfig .revdesc @printf "Generating $@\n" - @$(EMACS) $(ORG_ARGS) $< $(ORG_EVAL) + @$(EMACS_ORG) $< $(ORG_EVAL) %.info: %.texi @printf "Generating $@\n" |