Package: jed / 1:0.99.19-7

README.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
# 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.