diff --git a/ed/ed.dtx b/ed/ed.dtx
index 4cbff2abcfab967197e534a2198b5b5d7efa1f32..7995eae419c1a96a7b3d60882c9e2c3bb7052db1 100644
--- a/ed/ed.dtx
+++ b/ed/ed.dtx
@@ -608,3 +608,9 @@ contains more text\\which will be merged for the final document
 % LocalWords:  hline newpartmargin newpartlabel oldpartmargin oldpartlabel
 % LocalWords:  todomargin ifednotebookmarks ednotebookmarksfalse pdfbookmarks
 % LocalWords:  ednotebookmarkstrue belowpdfbookmark ignorespaces
+
+% \endinput
+% Local Variables:
+% mode: doctex
+% TeX-master: t
+% End:
diff --git a/ed/ed.pdf b/ed/ed.pdf
index a5181b7615f3263c47b6bccf5f5c21559ac14d7c..c69e044712a43c80fde46333e4a364ffe0dbab15 100644
Binary files a/ed/ed.pdf and b/ed/ed.pdf differ