diff options
author | Robert Alessi <alessi@robertalessi.net> | 2020-07-08 11:35:04 +0200 |
---|---|---|
committer | Robert Alessi <alessi@robertalessi.net> | 2020-07-08 11:35:04 +0200 |
commit | 32ae736ab07b915c199010b795f00402bf21d552 (patch) | |
tree | 56b8108efe0957aec91f1cb1c52ee855333ef358 /ekdosis.dtx | |
parent | 7c9792d0d6556b3dfb591678d10a3939272daaca (diff) | |
download | ekdosis-32ae736ab07b915c199010b795f00402bf21d552.tar.gz |
a couple of missing lines
Diffstat (limited to 'ekdosis.dtx')
-rw-r--r-- | ekdosis.dtx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 3c77bc4..0995316 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -535,6 +535,7 @@ along with this program. If not, see | |||
535 | % \item |ekdosis.ins| | 535 | % \item |ekdosis.ins| |
536 | % \item |ekdosis.dtx| | 536 | % \item |ekdosis.dtx| |
537 | % \item |ekdosis.el| | 537 | % \item |ekdosis.el| |
538 | % \item |Makefile| | ||
538 | % \end{itemize} | 539 | % \end{itemize} |
539 | % | 540 | % |
540 | % \section{Introduction} | 541 | % \section{Introduction} |