From 92b4bb4087b6840c78464ac1fc6ba5c2e1b479a7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Eray=20=C3=96zkural?= Date: Thu, 21 Jul 2005 14:50:39 +0000 Subject: [PATCH] --- doc/dependency.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/dependency.tex b/doc/dependency.tex index 0a74abc5..13059fec 100644 --- a/doc/dependency.tex +++ b/doc/dependency.tex @@ -173,7 +173,7 @@ installing packages in the reverse order of a topological sort guarantees that no package is installed before all of its dependencies are installed. Thus, this yields a consistency-preserving plan. -\subsection{Conditional dependencies} +\subsection{Dependency conditions} In the PISI specification, we allow a dependency to specify a local condition, for instance a program may require a dependency on