From 4f434596587e6758e84d76bf31f96efd5cf77841 Mon Sep 17 00:00:00 2001 From: wolf Date: Thu, 16 Dec 1999 13:47:52 +0000 Subject: [PATCH] Small doc update. git-svn-id: https://svn.dealii.org/trunk@2070 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/doc/readme.html | 22 ++++++++++++++++++---- 1 file changed, 18 insertions(+), 4 deletions(-) diff --git a/deal.II/doc/readme.html b/deal.II/doc/readme.html index 3f93f0713b..2bb8852863 100644 --- a/deal.II/doc/readme.html +++ b/deal.II/doc/readme.html @@ -85,10 +85,24 @@ which sets some paths and finds out what compiler you use. ./configure supports several flags which are discussed - further down below. After configuring, go - to the /common subdirectory and type 'make', to obtain the - following help (this output may change slightly over time, just - try it): + further down below. + +

+ + The most important result of ./configure is the + creation of the file common/Make.global_options. This + file contains compiler options, pathes, etc which you may want to + use in the Makefiles of your own projects. It is definitely a good + idea to include it into your Makefile, to allow using the same + flags for compilation between library files and the files of your + project, and to access the pathes of the library files. To find + out about the supported flags, take a look at the file. + +

+ + After configuring, go to the /common subdirectory and type 'make', + to obtain the following help (this output may change slightly over + time, just try it):


 ======================================================================
-- 
2.39.5