[m-rev.] Re: for review: add book to w3 repository

[Ian MacLarty]

I've committed this after a review from Paul in person.

Ian.

On Thu, Jul 1, 2010 at 1:21 PM, Ian MacLarty
<maclarty at csse.unimelb.edu.au> wrote:
> Add the Mercury book to the w3 repository.  It looks like it was
> previously just copied to the website directory manually.
>
> I've put the book pdf and ps.gz files in the papers directory to simplify
> things.  I've also removed the .ps version (so only .pdf and .ps.gz)
> to be consistent with the rest of the documentation links.
>
> information/include/documentation.inc:
>    Change book links.
>
> information/papers/book.pdf:
> information/papers/book.ps.gz:
>    Add book files.
>
> Index: information/include/documentation.inc
> ===================================================================
> RCS file: /home/mercury1/repository/w3/information/include/documentation.inc,v
> retrieving revision 1.12
> diff -u -r1.12 documentation.inc
> --- information/include/documentation.inc       1 Sep 2005 02:30:09 -0000       1.12
> +++ information/include/documentation.inc       1 Jul 2010 03:16:12 -0000
> @@ -20,9 +20,8 @@
>        <p>
>
>        Available in
> -       <a href="../tutorial/book/book.ps">Postscript</a>,
> -       <a href="../tutorial/book/book.ps.gz">gzipped Postscript</a> or
> -       <a href="../tutorial/book/book.pdf">PDF</a>.
> +       <a href="papers/book.pdf">PDF</a> or
> +       <a href="papers/book.ps.gz">Postscript</a>.
>        <p>
>
>        <li> <strong>Mercury Language Reference Manual</strong> <br>
> Index: information/papers/book.pdf
> ===================================================================
> RCS file: information/papers/book.pdf
> diff -N information/papers/book.pdf
> Binary files /dev/null and book.pdf differ
> Index: information/papers/book.ps.gz
> ===================================================================
> RCS file: information/papers/book.ps.gz
> diff -N information/papers/book.ps.gz
> Binary files /dev/null and book.ps.gz differ
>

--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------