From: wolf Date: Thu, 12 Oct 2000 12:08:49 +0000 (+0000) Subject: This http: with local path circumvented our validate-xrefs script, so X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=635238cf9214b681532fdf0c96ede45c2d635e3d;p=dealii-svn.git This http: with local path circumvented our validate-xrefs script, so modify it. git-svn-id: https://svn.dealii.org/trunk@3429 0785d39b-7218-0410-832d-ea1e28bc413d --- diff --git a/deal.II/doc/porting.html b/deal.II/doc/porting.html index 8106b8e06b..7e099ab741 100644 --- a/deal.II/doc/porting.html +++ b/deal.II/doc/porting.html @@ -13,7 +13,7 @@

Porting deal.II to new systems

Attention: before starting a port to a new system, check -the readme file for your system.

+the readme file for your system.

Compiler flags