andrejv/wxmaxima — pull request #368 by gunterkoenigsmann (2014-12-06 03:09:12+00:00)
Title: An online manual that doesn't add dependencies maxima doesn't have

This patch adds a online manual to the wxMaxima sources. The manual currently doesn't describe all of wxMaxima's unique features but only all features my colleagues didn't spot at once. Following the one patch for one feature philosophy the help menu entry would be a separate patch.
Since most of this patch was directly copied from maxima it doesn't use any external program maxima doesn't need in order to be built.