# 50_README.patch by Jörg Sommer <joerg@alea.gnuu.de>
#
# fix the manual path in README

@DPATCH@

--- jed-0.99.16.pre.0.99.17.84.orig/doc/README
+++ jed-0.99.16.pre.0.99.17.84/doc/README
@@ -15,7 +15,7 @@
        functions.  In addition, it contains Guido Gonzato's quick
        reference guide for jed.
 
-    manual/
+    html/
        
        Eventually the jed manual will be put here.  Right now what is
        in there is old and is most likely out of date.

