[petsc-dev] Splitting up folder for user-manual and dev-manual (tex)?

[Karl Rupp]

Hi guys,

does anybody mind splitting up the src-folder for the PDF-manuals 
(src/docs/tex/manual) into separate folders, e.g.
  tex/manual/user/      - user manual
  tex/manual/developer/ - dev manual

It seems like there are no common files to both manuals other than the 
style files. Otherwise, a common directory such as
  tex/manual/common/    - files common to both manuals
would fit.

As I'm currently soaking up the documentations, I'd also fix a bunch of 
typos while reading through them.

Best regards,
Karli