diff options
| author | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-12 08:48:23 +0000 |
|---|---|---|
| committer | Nuno Teixeira <eduardo@FreeBSD.org> | 2024-03-12 12:04:28 +0000 |
| commit | 9b7bae6dca159874c587cccc5169d2790ef28963 (patch) | |
| tree | c85a1c7938979c5cfb7d5ad0cee84265abf7e61d /math/eukleides/files/patch-Config | |
| parent | math/eprover: Move man pages to share/man (diff) | |
math/eukleides: Move man pages to share/man
Approved by: portmgr (blanket)
Diffstat (limited to 'math/eukleides/files/patch-Config')
| -rw-r--r-- | math/eukleides/files/patch-Config | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/math/eukleides/files/patch-Config b/math/eukleides/files/patch-Config index f472ca658f6b..aefcb4138ba6 100644 --- a/math/eukleides/files/patch-Config +++ b/math/eukleides/files/patch-Config @@ -9,7 +9,7 @@ # Documentation # Alternative targets are 'pdf' and 'html'. -@@ -27,9 +27,9 @@ PAPER = A4 +@@ -27,9 +27,9 @@ MO_DIR = $(SHARE_DIR)/locale BIN_DIR = $(PREFIX)/bin SHARE_DIR = $(PREFIX)/share MO_DIR = $(SHARE_DIR)/locale @@ -19,7 +19,7 @@ -INFO_DIR = $(SHARE_DIR)/info +DOC_DIR = ${PREFIX}/share/doc/eukleides +EXM_DIR = ${PREFIX}/share/examples/eukleides -+MAN_DIR = $(PREFIX)/man/man1 ++MAN_DIR = $(PREFIX)/share/man/man1 +INFO_DIR = $(PREFIX)/share/info TEX_DIR = $(SHARE_DIR)/texmf/tex/latex/eukleides |