11 Commits

Include renames

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