projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Shorten lines.
[pintos-anon]
/
doc
/
Makefile
diff --git
a/doc/Makefile
b/doc/Makefile
index 63f5247ca047795ac80e2c573fd9a8ef8e256be2..371e366a1cd55408712c356d3b0734b89e554e2a 100644
(file)
--- 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)