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?a=commitdiff_plain;h=57fb555d962f17d1f5dc168b4c646d178770fa34;p=pintos-anon 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)