thorehusfeldt/edan55-labs — pull request #1 by christian-soderberg (2012-09-18 15:41:34+00:00)
Title: Top level Makefile which makes all documentation

The command 'make docs' will generate all docs, and put the generated .pdf-files in a new top level directory named docs.

Maybe it's somewhat brusque to do git clean -xfd in all docs-subdirectories, since it will remove files the users haven't added to git yet...