aboutsummaryrefslogtreecommitdiff
path: root/dev/dist.sh
AgeCommit message (Collapse)AuthorFilesLines
2012-08-26tool fore taggin version and make sure everything is correctMattias Andrée1-9/+26
2012-08-26`dev/dist.sh ttyponies` is used instead of `make -B ttyponies` + same for ↵Mattias Andrée1-0/+51
`make pdfmanual`