diff options
author | EuAndreh <eu@euandre.org> | 2022-11-16 17:16:44 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2022-11-16 17:16:44 -0300 |
commit | ad9758e491933d2e67bf13dcff378a4830f1df92 (patch) | |
tree | 37f8448335829860b7b121dcb5a4fbadd240ac1a | |
parent | .gitignore: Add public/ (diff) | |
download | guile-heredoc-ad9758e491933d2e67bf13dcff378a4830f1df92.tar.gz guile-heredoc-ad9758e491933d2e67bf13dcff378a4830f1df92.tar.xz |
Makefile: Define $(INFODIR) based on $(SHAREDIR)
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ CONTRIBLANGS = PREFIX = /usr/local LIBDIR = $(PREFIX)/lib SHAREDIR = $(PREFIX)/share -INFODIR = $(PREFIX)/share/info +INFODIR = $(SHAREDIR)/info GUILE = guile GUILD = guild MODDIR = $(SHAREDIR)/guile/site/$(GUILE_EFFECTIVE_VERSION) |