From: Ben Pfaff Date: Sun, 19 Jun 2005 05:41:39 +0000 (+0000) Subject: Install templates. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=2f1285c5ec8b5a74378f5684130c6b9b88e48b82 Install templates. --- 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)