diff options
-rw-r--r-- | ekdosis.dtx | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 0942b7b..4c49668 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -16,7 +16,7 @@ License:| Released under the GNU General Public License v3 or later | |||
16 | Short description: | 16 | Short description: |
17 | Some text about the package: probably the same as the abstract. | 17 | Some text about the package: probably the same as the abstract. |
18 | %</readme> | 18 | %</readme> |
19 | %<*lua> | 19 | %<*luapre> |
20 | --[[ | 20 | --[[ |
21 | This file is part of the `ekdosis' package | 21 | This file is part of the `ekdosis' package |
22 | 22 | ||
@@ -41,7 +41,7 @@ along with this program. If not, see | |||
41 | <http://www.gnu.org/licenses/>. | 41 | <http://www.gnu.org/licenses/>. |
42 | --]] | 42 | --]] |
43 | 43 | ||
44 | %</lua> | 44 | %</luapre> |
45 | %<*internal> | 45 | %<*internal> |
46 | \fi | 46 | \fi |
47 | \def\nameofplainTeX{plain} | 47 | \def\nameofplainTeX{plain} |
@@ -107,7 +107,9 @@ Running "make install" installs the files in the local TeX tree. | |||
107 | } | 107 | } |
108 | \usedir{tex/lualatex/ekdosis} | 108 | \usedir{tex/lualatex/ekdosis} |
109 | \generate{ | 109 | \generate{ |
110 | \file{ekdosis.lua}{\from{\jobname.dtx}{lua}} | 110 | \file{ekdosis.lua}{ |
111 | \from{\jobname.dtx}{luapre} | ||
112 | \from{\jobname.dtx}{lua}} | ||
111 | } | 113 | } |
112 | \ifx\fmtname\nameofplainTeX | 114 | \ifx\fmtname\nameofplainTeX |
113 | \expandafter\endbatchfile | 115 | \expandafter\endbatchfile |
@@ -291,11 +293,10 @@ Running "make install" installs the files in the local TeX tree. | |||
291 | % \fi | 293 | % \fi |
292 | % \StopEventually{} | 294 | % \StopEventually{} |
293 | % \Finale | 295 | % \Finale |
294 | % | 296 | % \iffalse `' |
295 | % \iffalse | ||
296 | %<*lua> | 297 | %<*lua> |
297 | % \fi | 298 | % \fi |
298 | % \begin{minted}[linenos,fontsize=\relsize{-0.5}]{lua} | 299 | % \begin{minted}[linenos,fontsize=\relsize{-0.5}]{lua} |
299 | function closestream() | 300 | function closestream() |
300 | os.remove(tex.jobname..".ekd") | 301 | os.remove(tex.jobname..".ekd") |
301 | os.rename(tex.jobname.."_tmp.ekd", tex.jobname..".ekd") | 302 | os.rename(tex.jobname.."_tmp.ekd", tex.jobname..".ekd") |