Browse Source

created empty manual.ind so makefile works better

Dennis Furey 12 years ago
parent
commit
857d6cfbe2
1 changed files with 0 additions and 0 deletions
  1. 0 0
      doc/manual.ind

+ 0 - 0
doc/manual.ind