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

8 lines
128 B
Bash
Raw Normal View History

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