add index.html

etrepum · Feb 4, 2011 · 7c713d3 · 7c713d3
1 parent 3aae2b5
commit 7c713d3
Show file tree

Hide file tree

Showing 2 changed files with 1,203 additions and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -1,4 +1,4 @@
-OUTPUT=slides.html slides.tex slides.pdf
+OUTPUT=index.html slides.html slides.tex slides.pdf
 TEXJUNK=slides.aux slides.out slides.log
 TEXPATH=/usr/local/teTex/bin/`/usr/local/teTex/bin/highesttexbin.pl`
 
@@ -7,6 +7,9 @@ all: $(OUTPUT)
 clean:
 	rm -f $(OUTPUT) $(TEXJUNK)
 
+index.html: slides.html
+	cp $< $@
+
 slides.html: slides.txt includes/*.html
 	rst2s5.py --theme-url ui/mochikit slides.txt $@