diff options
author | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2018-03-21 16:22:59 +0100 |
---|---|---|
committer | Ondrej Zajicek (work) <santiago@crfreenet.org> | 2018-03-21 16:26:39 +0100 |
commit | 4dff1f32b5e2b2769e59560f404346af03abcbb6 (patch) | |
tree | b06f2210d0ab7043220879d82c03c5cc706c4797 | |
parent | 97b1b04d937ac7da65d6ab109b9f5dc0d369cde3 (diff) |
Doc: Minor build fix
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index 70b73943..1206e55f 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -8,6 +8,8 @@ srcdir=$(shell cd $(root-rel) ; pwd) srcdir_abs=$(srcdir) endif +export TEXINPUTS := $(TEXINPUTS):$(srcdir_abs)/doc/tex + # Force rebuilds .PHONY: prog.sgml bird.sgml |