From db235531b9748a8d886d36e6f7f977d9f78c8c50 Mon Sep 17 00:00:00 2001 From: wolf Date: Wed, 24 Jan 2001 09:41:26 +0000 Subject: [PATCH] Take over changes from 1.63. git-svn-id: https://svn.dealii.org/branches/Branch-3-1@3776 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/readme.html | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/deal.II/doc/readme.html b/deal.II/doc/readme.html index 6d26bb8667..576bfb2522 100644 --- a/deal.II/doc/readme.html +++ b/deal.II/doc/readme.html @@ -336,16 +336,18 @@

Apart from the libraries, you should generate the full set of - documentation files, by typing `make online-doc'. This way, you + documentation files, by typing `make online-doc'; this takes some + minutes since quite a lot of information is generated and + transformed in various ways, but this way, you have (almost) all the documentation locally on your computer and need not use the deal.II homepage in Heidelberg. You can access all documentation through this page. (For obvious reasons, the only document that you don't have locally is the News page, and the pages that convert the CVS logs into - HTML. Access them through the global homepage.) + HTML. Access them through the + global + homepage.)

-- 2.39.5