21 lines
238 B
Awk
Executable File
21 lines
238 B
Awk
Executable File
#!/usr/bin/awk -f
|
|
|
|
BEGIN {
|
|
FS="[() ]"
|
|
}
|
|
|
|
/small_angle constant real default radians/ {
|
|
if(d) {
|
|
exit 1
|
|
} else {
|
|
printf ("\\newcommand{\\smallAngle}{\\frac{\\pi}{%d}}\n",180/$8);
|
|
d=1
|
|
}
|
|
}
|
|
|
|
END{
|
|
if(!d){
|
|
exit 1
|
|
}
|
|
}
|