1
0
mirror of https://github.com/arduino/Arduino.git synced 2024-11-30 11:24:12 +01:00
Arduino/core/make.sh
2009-05-31 15:53:33 +00:00

8 lines
128 B
Bash
Executable File

#!/bin/sh
#javadoc -public -d doc *.java
#javadoc -private -d doc *.java
chmod +x preproc.pl
./preproc.pl
jikes -d . +D *.java