DIR data
   DIR generators
  HTML index.html
   DIR infeas
  TEXT permission