[ Makefile ] Added only_theorems rule.
Fixed typo.