Updates to user manual

[Willem Ferguson]

Every time I clone the master, I have to delete the subsurface directory 
first. So I keep my master copy of the manual elsewhere in a 
Documentation directory that I copy _in toto_ to the subsurface 
directory to replace the directory that came with the master. Once this 
is complete then I do git format-patch.

The manual you pushed was the latest one I sent. I plan to tweak the 
Makefile a bit to achieve some small changes in formatting. For 
instance, it is not optimal to have serif as well as sans serif text in 
the same document.

I am continuously working with the manual and will send incremental ones 
at least every week.

Kind regards,
willemf



On 02/12/2013 16:57, Dirk Hohndel wrote:
> On Mon, 2013-12-02 at 09:24 +0200, Willem Ferguson wrote:
>> Attached patches for updates. I have taken lightly-edited text from the
>> previous manual regarding imports of data from other databases e.g. JDive.
>>
>> I suspect previous problems were mine, since I use a double-directory
>> system because the subsurface directory get deleted frequently.
> Why does it get deleted frequently?
>
> I found one documentation patch among the three, applied it and pushed
> it out.
>
> If you pull a clean tree from git, does it now have the same content for
> the Documentation folder that your tree does?
>
> /D
>
>