diff options
author | Robert Alessi <alessi@robertalessi.net> | 2018-12-18 18:15:36 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2018-12-18 18:15:36 +0100 |
commit | 65a9f6a4433f36b8017e6f19b4bb616bf075d6f9 (patch) | |
tree | 0d82ea6cf7ff0b8166f0a9f402ff4c29dc3b8098 /ekdosis.dtx | |
parent | 49c2bc685b2a7442b35ccce753eb146f3f0b76ad (diff) | |
download | ekdosis-65a9f6a4433f36b8017e6f19b4bb616bf075d6f9.tar.gz |
added 'local' option to Makefile
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r-- | ekdosis.dtx | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 672b228..3170f41 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -93,6 +93,14 @@ Running "make install" installs the files in the local TeX tree. | |||
93 | \generate{ | 93 | \generate{ |
94 | \file{\jobname.sty}{\from{\jobname.dtx}{package}} | 94 | \file{\jobname.sty}{\from{\jobname.dtx}{package}} |
95 | } | 95 | } |
96 | \nopreamble\nopostamble | ||
97 | \usedir{tex/lualatex/ekdosis} | ||
98 | \generate{ | ||
99 | \file{\jobname.lua}{ | ||
100 | \from{\jobname.dtx}{luapre} | ||
101 | \from{\jobname.dtx}{lua} | ||
102 | } | ||
103 | } | ||
96 | %</install> | 104 | %</install> |
97 | %<install>\endbatchfile | 105 | %<install>\endbatchfile |
98 | %<*internal> | 106 | %<*internal> |
@@ -105,12 +113,6 @@ Running "make install" installs the files in the local TeX tree. | |||
105 | \generate{ | 113 | \generate{ |
106 | \file{README.txt}{\from{\jobname.dtx}{readme}} | 114 | \file{README.txt}{\from{\jobname.dtx}{readme}} |
107 | } | 115 | } |
108 | \usedir{tex/lualatex/ekdosis} | ||
109 | \generate{ | ||
110 | \file{ekdosis.lua}{ | ||
111 | \from{\jobname.dtx}{luapre} | ||
112 | \from{\jobname.dtx}{lua}} | ||
113 | } | ||
114 | \ifx\fmtname\nameofplainTeX | 116 | \ifx\fmtname\nameofplainTeX |
115 | \expandafter\endbatchfile | 117 | \expandafter\endbatchfile |
116 | \else | 118 | \else |