A docutils system for lecture note production