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