diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 09:24:01 +0200 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2019-04-10 09:24:01 +0200 |
| commit | 3fad62e74b9ce5a420189ec854421f3154473dc1 (patch) | |
| tree | c7e16c74753c809123ed2a3ef82f1e2e3668be41 /ekdosis.ins | |
| parent | 9b878ac5e52db79c7945d3b28fa8c4af1666e5fe (diff) | |
| download | ekdosis-3fad62e74b9ce5a420189ec854421f3154473dc1.tar.gz | |
specified in totei how to handle \arb{}
Diffstat (limited to 'ekdosis.ins')
| -rw-r--r-- | ekdosis.ins | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ekdosis.ins b/ekdosis.ins index 27e4b58..b113321 100644 --- a/ekdosis.ins +++ b/ekdosis.ins | |||
| @@ -43,6 +43,7 @@ Running "make install" installs the files in the local TeX tree. | |||
| 43 | } | 43 | } |
| 44 | \nopreamble\nopostamble | 44 | \nopreamble\nopostamble |
| 45 | \usedir{tex/lualatex/ekdosis} | 45 | \usedir{tex/lualatex/ekdosis} |
| 46 | \bgroup | ||
| 46 | \catcode9=12 | 47 | \catcode9=12 |
| 47 | \generate{ | 48 | \generate{ |
| 48 | \file{\jobname.lua}{ | 49 | \file{\jobname.lua}{ |
| @@ -50,4 +51,5 @@ Running "make install" installs the files in the local TeX tree. | |||
| 50 | \from{\jobname.dtx}{lua} | 51 | \from{\jobname.dtx}{lua} |
| 51 | } | 52 | } |
| 52 | } | 53 | } |
| 54 | \egroup | ||
| 53 | \endbatchfile | 55 | \endbatchfile |