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