]> git.tuebingen.mpg.de Git - adu.git/blobdiff - Makefile
Merge branch 'refs/heads/t/doc-improvements'
[adu.git] / Makefile
index 58202a224a6634ed39288ccf3b44f263ee715fb7..8e4d65388c3576aaf64a729cd6e710b2c9724156 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -76,9 +76,9 @@ clean:
 
 index.html: adu.1.html index.html.in INSTALL README
        sed -e '/@README@/,$$d' index.html.in > $@
 
 index.html: adu.1.html index.html.in INSTALL README
        sed -e '/@README@/,$$d' index.html.in > $@
-       grutatxt -nb < README >> $@
+       markdown README >> $@
        sed -e '1,/@README@/d' -e '/@INSTALL@/,$$d' index.html.in >> $@
        sed -e '1,/@README@/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 '/Index/,$$d' adu.1.html >> $@
        sed -e '1,/@MAN_PAGE@/d' index.html.in >> $@
        sed -e '1,/@INSTALL@/d' -e '/@MAN_PAGE@/,$$d' index.html.in >> $@
        sed -e '1,/Return to Main Contents/d' -e '/Index/,$$d' adu.1.html >> $@
        sed -e '1,/@MAN_PAGE@/d' index.html.in >> $@