diff --git a/v2/doc/src/reference.xml b/v2/doc/src/reference.xml index 4526d32fb..7f16230e0 100644 --- a/v2/doc/src/reference.xml +++ b/v2/doc/src/reference.xml @@ -528,13 +528,14 @@ path-constant DATA : data/a.txt ; feature (so it will be brought up-to-date whenever the target being declared is). The dependency is not used in any other way. - + ==================================================================== + -->