Subversion Repositories wimsdev

Rev

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

Rev 10837 Rev 11402
Line 62... Line 62...
62 
   if [ ! -f $2/$dd ]; then
 62 
   if [ ! -f $2/$dd ]; then
63 
    echo Removing $def/$i.
 63 
    echo Removing $def/$i.
64 
    rm -f $1/$i >/dev/null;
 64 
    rm -f $1/$i >/dev/null;
65 
   fi
 65 
   fi
66 
  done
 66 
  done
- 
 
 67 
}
- 
 
 68 
 
- 
 
 69 
clean_src ( ) {
- 
 
 70 
  rm -f $1/.src/* >/dev/null;
- 
 
 71 
  rmdir $1/.src >/dev/null;
67 
}
 72 
}
68 
 
 73 
 
69 
## generation des .def
 74 
## generation des .def
70 
gen_doc ( ) {
 75 
gen_doc ( ) {
71 
  def=$1
 76 
  def=$1
Line 140... Line 145...
140 
   done
 145 
   done
141 
fi
 146 
fi
142 
cd $lastdir
 147 
cd $lastdir
143 
## cleaning file.def where file has been deleted
 148 
## cleaning file.def where file has been deleted
144 
 clean_doc $def $src
 149 
 clean_doc $def $src
- 
 
 150 
## cleaning .src if it exists
- 
 
 151 
 clean_src $def
145 
## generated file *.def
 152 
## generated file *.def
146 
  gen_doc $def $src
 153 
  gen_doc $def $src
147 
##definition files
 154 
##definition files
148 
  index_file $def
 155 
  index_file $def
149 
}
 156 
}