diff --git a/etc/components b/etc/components
--- a/etc/components
+++ b/etc/components
@@ -1,23 +1,23 @@
 #main object logics
 src/Pure
 src/FOL
 src/HOL
 src/ZF
 src/CCL
 src/CTT
 src/Cube
 src/FOLP
 src/LCF
 src/Sequents
 #misc components
-doc-src
 src/Tools/Code
 src/Tools/jEdit
 src/Tools/WWW_Find
 src/HOL/Mirabelle
 src/HOL/Mutabelle
 src/HOL/Library/Sum_of_Squares
 src/HOL/Tools/ATP
 src/HOL/Tools/Predicate_Compile
 src/HOL/Tools/SMT
 src/HOL/TPTP
+doc-src