etc/components

--- a/etc/components	Fri Aug 17 12:14:58 2012 +0200
+++ b/etc/components	Fri Aug 17 14:55:46 2012 +0200
@@ -10,7 +10,6 @@
 src/LCF
 src/Sequents
 #misc components
-doc-src
 src/Tools/Code
 src/Tools/jEdit
 src/Tools/WWW_Find
@@ -21,3 +20,4 @@
 src/HOL/Tools/Predicate_Compile
 src/HOL/Tools/SMT
 src/HOL/TPTP
+doc-src