Added version 0.10 of spec
Added version 0.10 of spec
Makefile: store spec.txt with spec.html.