]> git.tuebingen.mpg.de Git - dss.git/blobdiff - Makefile
Convert INSTALL and NEWS to markdown format.
[dss.git] / Makefile
index 7a4b6a98c9c5b3af9efdbfa5f2bf6040e0b7e3f5..111019c53d3f5dc21ed06f40f787bdf4caa20bc8 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -47,11 +47,11 @@ clean:
 
 index.html: dss.1.html index.html.in INSTALL README NEWS
        sed -e '/@README@/,$$d' index.html.in > $@
-       grutatxt -nb < README >> $@
+       markdown README >> $@
        sed -e '1,/@README@/d' -e '/@NEWS@/,$$d' index.html.in >> $@
-       grutatxt -nb < NEWS >> $@
+       markdown NEWS >> $@
        sed -e '1,/@NEWS@/d' -e '/@INSTALL@/,$$d' index.html.in >> $@
-       grutatxt -nb < INSTALL >> $@
+       markdown INSTALL >> $@
        sed -e '1,/@INSTALL@/d' -e '/@MAN_PAGE@/,$$d' index.html.in >> $@
        sed -e '1,/Return to Main Contents/d' -e '/SEE ALSO/,$$d' dss.1.html >> $@
        sed -e '1,/@MAN_PAGE@/d' index.html.in >> $@