From ab5ebf17c1e2da59f2175b52fc9bf715bfcecf55 Mon Sep 17 00:00:00 2001 From: Benjamin Franzke Date: Wed, 16 Jan 2013 04:09:20 +0100 Subject: Makefile: Remove unneeded stuff --- Makefile | 13 ------------- 1 file changed, 13 deletions(-) diff --git a/Makefile b/Makefile index 9b56015..65849f5 100644 --- a/Makefile +++ b/Makefile @@ -8,19 +8,6 @@ EPSs=$(DIAs:.dia=.eps) .PHONY: all clean all: projekt_doku.pdf presentation.html -#.SUFFIXES: .asciidoc .html -#presentation.html: presentation.asciidoc -# asciidoc --out-file=$@.tmp --backend=slidy $< -# sed -f fix-css.sed $@.tmp > $@ -# rm $@.tmp -# -#.asciidoc.html: -# asciidoc --out-file=$@ --backend=html $< -# -#.SUFFIXES: .asciidoc .tex -#.asciidoc.tex: -# asciidoc --backend=latex $< - presentation.html: presentation.txt $(SVGs) $(PNGs) asciidoc --out-file=$@ --backend=slidy $< sed -i -f fix-css.sed $@ -- cgit