X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2FMakefile;h=371e366a1cd55408712c356d3b0734b89e554e2a;hb=2f1285c5ec8b5a74378f5684130c6b9b88e48b82;hp=63f5247ca047795ac80e2c573fd9a8ef8e256be2;hpb=2a5eac8bf815e403a4d588d96c7cd5961757944c;p=pintos-anon

diff --git a/doc/Makefile b/doc/Makefile
index 63f5247..371e366 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -27,5 +27,5 @@ clean:
 dist: pintos.html pintos.pdf
 	rm -rf WWW
 	mkdir WWW WWW/specs
-	cp *.html *.pdf *.css WWW
+	cp *.html *.pdf *.css *.tmpl WWW
 	(cd ../specs && cp -r *.pdf freevga kbd sysv-abi-update.html ../doc/WWW/specs)