13 Commits

Author	SHA1	Message	Date
Patrick Huber	d6df865ab8	add clean-books & clean target	2014-12-05 23:07:13 +01:00
Patrick Huber	8005220502	echo not needed, rm can do that	2014-12-05 22:53:20 +01:00
Thomas Schmidts	cf17693356	Added style for deprecated documentation	2014-09-11 15:40:20 +02:00
Frank Celler	8632fed0ec	added keep-md	2014-06-25 12:15:20 +02:00
Frank Celler	9ec23692ee	splitted targets	2014-06-18 19:43:49 +02:00
Thomas Schmidts	01c2770030	Fixed a small bug in the python script	2014-06-18 16:52:35 +02:00
Thomas Schmidts	f4e8f439bd	Script for reading code automatically	2014-06-18 11:09:20 +02:00
Thomas Schmidts	86cce6f19f	Some fixes for folding	2014-06-11 15:25:04 +02:00
Thomas Schmidts	1b3a138fa4	.mds will be deleted after gitbook is made. Also modified search for codeDocuBlock	2014-06-05 12:53:10 +02:00
Michael Hackstein	244fe61e6c	Readded tabs in documentation makefile	2014-06-04 16:04:53 +02:00
gschwab	036e29f45b	tabs replaced with spaces	2014-06-04 15:59:17 +02:00
Thomas Schmidts	fb9b8986d2	the new documentation	2014-06-02 13:44:09 +02:00
Frank Celler	f2b6275049	test for new gitbook format	2014-05-02 15:36:47 +02:00