Subversion Repositories wimsdev

Last modification

• Rev 11257 2017-02-15 07:41:36
• 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