Waldemar Brodkorb a5516a063c add hackish way to disable doc generation on newer hosts vor 9 Jahren
..
avr32.patch fe3ec0b2af add toolchain support for avr32 vor 10 Jahren
disable-docs.patch a5516a063c add hackish way to disable doc generation on newer hosts vor 9 Jahren