$include_dir="/home/hyper-archives/boost-build/include"; include("$include_dir/msg-header.inc") ?>
From: Toon Knapen (toon.knapen_at_[hidden])
Date: 2002-02-01 11:41:10
If file A includes file B and later B is removed, A will not be marked
as being not up to date. But I'm not sure if this is an error or not.