Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

#30 Add makeindex to the tools

open
Tools (4)
7
2010-03-30
2009-05-16
leon5
No

Could you please add a button which will execute makeindex on the opened file..?

Discussion

    • labels: --> Tools
    • priority: 5 --> 7
    • assigned_to: nobody --> m_zeising
    • summary: MakeIndex option --> Add makeindex to the tools