|
|
7186309ba1
|
Fix broken make clean target
|
2018-09-13 14:40:13 +02:00 |
|
|
|
66875d2fc7
|
Update Makefile and README
|
2018-09-13 11:54:21 +02:00 |
|
|
|
a9bdaf3919
|
Prepare server documentation document
|
2018-09-12 22:19:28 +02:00 |
|
|
|
585325c064
|
More Makefile flexibility
|
2018-09-12 17:01:15 +02:00 |
|
|
|
a74ef784c8
|
Put CA documentation into a separate document.
|
2018-09-12 13:04:23 +02:00 |
|
|
|
de00bdefce
|
More restructuring
|
2018-09-12 12:54:05 +02:00 |
|
|
|
bba0f9355b
|
Remove support for git-latexdiff
|
2018-09-05 14:56:41 +02:00 |
|
|
|
48fbea553c
|
Make default target work in Makefile
|
2018-09-03 10:45:10 +02:00 |
|
|
|
c56ad2da2a
|
Add new target to Makefile
|
2018-09-03 10:36:31 +02:00 |
|
|
|
5c6fad6ed8
|
Enhance Makefile to use build folder
|
2018-05-09 13:27:22 +02:00 |
|
|
|
c7a36ad75b
|
Initial import of basic structure
|
2018-05-09 13:05:55 +02:00 |
|
