aboutsummaryrefslogtreecommitdiff
path: root/GNUmakefile
AgeCommit message (Expand)AuthorFilesLines
2014-05-08Support building static documentation, build itJohannes Ranke1-0/+11
2014-05-08Always run tests without rebuilding vignettesJohannes Ranke1-9/+3
2014-02-27Format of gmkin workspace files, copyright, updatesJohannes Ranke1-1/+1
2013-12-04Make it possible to use different ode solvers=1-3/+19
2013-12-04Add Makefile targets without vignette buildingJohannes Ranke1-8/+9
2013-11-17Conflicts:jranke1-7/+13
2013-11-11Vignettes are not built from the makefilejranke1-1/+1
2013-11-11Change quotes to single as backquotes execute automaticallyjranke1-3/+3
2013-11-11Fix quotes in makefilejranke1-3/+3
2013-11-11Test a git commit while svn not up to datejranke1-0/+1
2013-11-11Adapt the makefile to presumed git workflowjranke1-2/+4
2013-11-11- Add a simple makefilejranke1-0/+62

Contact - Imprint