From 32ae736ab07b915c199010b795f00402bf21d552 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Wed, 8 Jul 2020 11:35:04 +0200
Subject: a couple of missing lines

---
 about.html | 1 +
 1 file changed, 1 insertion(+)

(limited to 'about.html')

diff --git a/about.html b/about.html
index 1bdf465..80f474f 100644
--- a/about.html
+++ b/about.html
@@ -31,6 +31,7 @@
 <ul>
 <li><p><code>ekdosis.dtx</code></p></li>
 <li><p><code>ekdosis.ins</code></p></li>
+<li><p><code>ekdosis.el</code></p></li>
 <li><p><code>Makefile</code></p></li>
 </ul>
 <h2 id="license-applicable-to-the-documentation">License applicable to the documentation</h2>
-- 
cgit v1.2.3