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

[Barry Smith]

On Sep 18, 2012, at 11:57 AM, Karl Rupp <rupp at mcs.anl.gov> wrote:

> 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

  Since developers.tex is a single file I am not sure about particular utility to putting it in a separate directory; if it used several files then yes it would be reasonable.

    Barry

> 
> 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