diff options
-rw-r--r-- | Doc/s5/Makefile | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Doc/s5/Makefile b/Doc/s5/Makefile index 92372421b..76984acb7 100644 --- a/Doc/s5/Makefile +++ b/Doc/s5/Makefile @@ -1,8 +1,6 @@ SLIDES=$(subst .txt,.html,$(wildcard *.txt)) -all: slides - slides: $(SLIDES) %.html: %.txt |