(documentation-section 
   'id "overview-sect"
   (section-title "Overview")
   (section-body 
     (p "This Elucidative program consists of two tiny source programs:" 
        (weak-prog-ref 'file "prog1")"and" (weak-prog-ref 'file "prog2") _ "." 
        "The first of these was used for illustration of SchemeDoc, in terms of" 
        (weak-prog-ref 'file "prog1-man" "a prog1 interface manual")_ "." 
     )
   )
 )