aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-10-14 11:51:11 +0200
committerRobert Alessi <alessi@robertalessi.net>2018-10-14 11:51:11 +0200
commita59306f2e7f54f5c64124fc4120d8511ea56eaeb (patch)
treee4022bdaf2e902e8d10ff97bcc8344ff7c4b9fb2
parentad924d37f70d1a65e96a96b3445cafbd6c1148bf (diff)
downloadekdosis-a59306f2e7f54f5c64124fc4120d8511ea56eaeb.tar.gz
.lua files: set a common preamble
-rw-r--r--ekdosis.dtx13
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
16Short description: 16Short description:
17Some text about the package: probably the same as the abstract. 17Some text about the package: probably the same as the abstract.
18%</readme> 18%</readme>
19%<*lua> 19%<*luapre>
20--[[ 20--[[
21This file is part of the `ekdosis' package 21This 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}
299function closestream() 300function 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")