Richtige Benutzung:

Repository kopieren

$ git clone <link_to_repository>

Repository updaten

$ git remote update && git pull

PDF bauen

Vor dem Bauen das Repository updaten.

$ make

Die Makefiles

• make/make all -> Standard
• make continous -> compeliert immer neu wenn sich etwas geändert hat
• make clean -> löscht alle Builddateien und PDFs und compeliert neu
• make cleanup -> Löscht alle Build-Dateien aber nicht die PDFs
• make single -> Kompeliert die PDFs und fügt sie zu einem einzelnen zusammen
• make solutions (nur IDB) -> baut ein PDFs mit Loesungsvorschlaegen
• latexmk spamt fröhlich nach /dev/null also aufpassen beim debuggen

Ich habe einen Fehler gefunden!

• macht eine Issue auf
• macht einen pullrequest (bestes)
• wenn du write hast fixe es selbst (noch besser)

Sonstiges

• die FSI_Gruppe hat write auf diesem Repro
• greeny & nudel haben master

Ich will write

• Sprich mich in RL an