Separating the specs into separate make tasks for convenience

[ci skip]