Closed anthonyyoud closed 13 years ago
I felt it didn't need to be included with the main distribution. I don't mind if you put it in.
Hmmm...I'm undecided now. The source might clutter up the doc directory unnecessarily, and I suppose it doesn't really need to be there. How about I create a new "Numbas Manual" repository under the numbas account, and keep the sources there? Would mean copying the PDF file across every time a change is made, however.
...or we could have another directory manual-source underneath doc. The PDF file would still be at the level of doc, though, and easy to find.
Yes, that's a good idea. Just call it 'manual' though.
Whoops, I didn't see your last comment! I was saying yes to a new repository.
Does that mean you think the current situation with the source in a manual subdirectory is not a good idea?! It seems to work nicely.
I just wasn't what I was expecting. I don't feel strongly, I'm happy for it to stay as it is.
Only the PDF file of the manual is in the repository. Any reason why we shouldn't have the full TeX source there?