jed (1:0.99.19-2.1) 50_README

Summary

 doc/README |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

    
download this patch

Patch contents

#! /bin/sh /usr/share/dpatch/dpatch-run
## 50_README.dpatch by Jörg Sommer <joerg@alea.gnuu.de>
##
## DP: 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.