| thorwil | godbyk: crocodoc appears to be very well made. but you have to take care of each change manually, right? | 09:22 |
|---|---|---|
| thorwil | godbyk: in terms of a revision control system, each concrete suggestion could actually be a patch with message, that can be merged into the next rev by anyone with appropriate permissions | 09:24 |
| godbyk | thorwil: Yeah. I manually make the corrections to the .tex files and push the changes to bzr. I generally group a few changes together so we don't have massive numbers of commits, though one could argue that I really ought to make one change per commit. | 14:04 |
| godbyk | thorwil: They also have an API but I haven't looked at it at all yet. If their API allows us to download a list of annotations, we may be able to parse some of that to help automate the process slightly. | 14:04 |
Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!