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