From: Wolfgang Bangerth
Date: Thu, 12 Oct 2000 12:08:49 +0000 (+0000)
Subject: This http: with local path circumvented our validate-xrefs script, so
X-Git-Tag: v8.0.0~20003
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=fd082777c31acd5897c4f2b6a59e189bc390b8ed;p=dealii.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