From 129c77f02b6b72fadcbe31619eaea6702da47ac5 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 2 Jul 2013 11:43:53 +0200
Subject: [PATCH] doc: Update location of VESA driver

---
 doc/components.txt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/components.txt b/doc/components.txt
index 6aee3f32b3..2288d139bc 100644
--- a/doc/components.txt
+++ b/doc/components.txt
@@ -114,7 +114,7 @@ input-session interfaces respectively.
   is made available to the driver via the SPECS machinery of the Genode build
   system.
 
-:'os/src/drivers/framebuffer/vesa':
+:'libports/src/drivers/framebuffer/vesa':
   Driver using VESA mode setting on x86 PCs. For more information, please refer
   to the README file in the driver directory.