As far as I can see, the test for the demo documentation (in test/documentation/test.py) is included in the main test/test.py, which is run by make runtests. However running test/documentation/test.py fails (as it should b/c someone has not updated the demo doc), while 'make runtests' don't. Anyone knows why?
-- Marie _______________________________________________ Mailing list: https://launchpad.net/~dolfin Post to : [email protected] Unsubscribe : https://launchpad.net/~dolfin More help : https://help.launchpad.net/ListHelp
