etc/components
changeset 48839 f49745d1395a
parent 48790 6e739225dd8a
child 48857 9032f4bdf205
     1.1 --- a/etc/components	Fri Aug 17 12:14:58 2012 +0200
     1.2 +++ b/etc/components	Fri Aug 17 14:55:46 2012 +0200
     1.3 @@ -10,7 +10,6 @@
     1.4  src/LCF
     1.5  src/Sequents
     1.6  #misc components
     1.7 -doc-src
     1.8  src/Tools/Code
     1.9  src/Tools/jEdit
    1.10  src/Tools/WWW_Find
    1.11 @@ -21,3 +20,4 @@
    1.12  src/HOL/Tools/Predicate_Compile
    1.13  src/HOL/Tools/SMT
    1.14  src/HOL/TPTP
    1.15 +doc-src