Update specification.tex
Update specification.tex
Update specification.tex
Update specification.tex
Update specification.tex
Merge branch 'cooking'
Fixes
updating the manpage
Merge branch 'master' into cooking