Subversion Repositories wimsdev

Rev

Rev 11402 | Rev 14816 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 11402 Rev 11672
Line 66... Line 66...
66
  done
66
  done
67
}
67
}
68
 
68
 
69
clean_src ( ) {
69
clean_src ( ) {
70
  rm -f $1/.src/* >/dev/null;
70
  rm -f $1/.src/* >/dev/null;
71
  rmdir $1/.src >/dev/null;
71
  rmdir $1/.src 2>/dev/null;
72
}
72
}
73
 
73
 
74
## generation des .def
74
## generation des .def
75
gen_doc ( ) {
75
gen_doc ( ) {
76
  def=$1
76
  def=$1