From 635238cf9214b681532fdf0c96ede45c2d635e3d Mon Sep 17 00:00:00 2001
From: wolf
Date: Thu, 12 Oct 2000 12:08:49 +0000
Subject: [PATCH] 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
---
deal.II/doc/porting.html | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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
--
2.39.5