X-Git-Url: http://git.tuebingen.mpg.de/?p=dss.git;a=blobdiff_plain;f=Makefile;h=7a4b6a98c9c5b3af9efdbfa5f2bf6040e0b7e3f5;hp=821ccaf033972621f6c9e536aef5f468136b58ea;hb=05e75054398c9d39f62f8c4b9be7b874a2019a3c;hpb=641e3804cd87fb07b6089facd92f4452e5e3aa12 diff --git a/Makefile b/Makefile index 821ccaf..7a4b6a9 100644 --- a/Makefile +++ b/Makefile @@ -3,7 +3,7 @@ all: dss man: dss.1 DEBUG_CFLAGS ?= -DEBUG_CFLAGS += -Wno-sign-compare -g -Wunused -Wundef -W +DEBUG_CFLAGS += -Wno-sign-compare -g -Wunused -Wundef DEBUG_CFLAGS += -Wredundant-decls CFLAGS ?= CFLAGS += -Os @@ -53,5 +53,5 @@ index.html: dss.1.html index.html.in INSTALL README NEWS sed -e '1,/@NEWS@/d' -e '/@INSTALL@/,$$d' index.html.in >> $@ grutatxt -nb < INSTALL >> $@ sed -e '1,/@INSTALL@/d' -e '/@MAN_PAGE@/,$$d' index.html.in >> $@ - sed -e '1,/Return to Main Contents/d' -e '/Index/,$$d' dss.1.html >> $@ + sed -e '1,/Return to Main Contents/d' -e '/SEE ALSO/,$$d' dss.1.html >> $@ sed -e '1,/@MAN_PAGE@/d' index.html.in >> $@