Subversion Repositories wimsdev

Last modification

• Rev 11257 – 2694 d 11 h
• Author: bpr

• Log message:

  [cleanup] index in wimsdoc.en is now done in bin/mkindex by
  script Makeindex which was already there. So need to launch bin/mkindex