aboutsummaryrefslogtreecommitdiff
path: root/dev/dist.sh
AgeCommit message (Collapse)AuthorFilesLines
2012-09-01installation doc update + more installation options alternatives + mMattias Andrée1-1/+1
2012-08-30beige (softer) page colour for pdfMattias Andrée1-0/+1
2012-08-27dist.sh m fix (missed $)Mattias Andrée1-1/+1
2012-08-26mMattias Andrée1-1/+7
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`