diff options
author | Robert Alessi <alessi@robertalessi.net> | 2019-01-16 17:01:17 +0100 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2019-01-16 17:01:17 +0100 |
commit | e2beb0e13da6378fc23da81f40eaf878915b0d04 (patch) | |
tree | 42c2152b53684360c3eb4e360e824679f1c322a2 | |
parent | 65a9f6a4433f36b8017e6f19b4bb616bf075d6f9 (diff) | |
download | ekdosis-e2beb0e13da6378fc23da81f40eaf878915b0d04.tar.gz |
set 'ekd@started' boolean to true locally as otherwise already started apparatuses do not restart after they have been stopped
-rw-r--r-- | ekdosis.dtx | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 3170f41..503f2e6 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -367,7 +367,7 @@ Running "make install" installs the files in the local TeX tree. | |||
367 | } | 367 | } |
368 | \def\add@apparatus{% | 368 | \def\add@apparatus{% |
369 | \notbool{ekd@started}{\add@@apparatus% | 369 | \notbool{ekd@started}{\add@@apparatus% |
370 | \global\setbool{ekd@started}{true}} | 370 | \setbool{ekd@started}{true}} |
371 | {\text@apparatus% | 371 | {\text@apparatus% |
372 | \ifbool{do@app}{\add@@apparatus}{}}% | 372 | \ifbool{do@app}{\add@@apparatus}{}}% |
373 | } | 373 | } |