aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2018-11-26Add source URL as mkdocs metadata.Jonas Smedegaard
2018-11-24Label front page as Introduction (not Home).Jonas Smedegaard
2018-11-24Use linkchecker. Fix phony targets.Jonas Smedegaard
2018-11-24Explain shell account.Jonas Smedegaard
2018-11-24Use mkdocs.Jonas Smedegaard
2018-11-24Initial draft.Jonas Smedegaard