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 |