1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
Description: Install teiaddphonetics
Install the teiaddphonetics script.
Author: Sebastian Humenda <shumenda@gmx.de>
Last-Update: 2020-12-31
Index: freedict-tools/Makefile
===================================================================
--- freedict-tools.orig/Makefile
+++ freedict-tools/Makefile
@@ -124,6 +124,7 @@ mk_venv: #! initialise a new (Python) vi
# NOTE: the directories below HAVE to be on one line
INSTALL_DIRS := mk xquery xsl/inc
INSTALL_PATHS := $(wildcard freedict-database.rng \
+ teiaddphonetics \
mk/*.mk xsl/inc/* \
xquery/* xsl/tei2c5.xsl)
install: #! install the tools to $$DESTDIR/$PREFIX/share/freedict (default /usr/local/share/freedict)
|
