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} |