From 7e00d83f74d1e93d5ac0314a4ad9b4a071134c8f Mon Sep 17 00:00:00 2001 From: wolf Date: Wed, 24 Jan 2001 09:40:40 +0000 Subject: [PATCH] micro-change. git-svn-id: https://svn.dealii.org/trunk@3775 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