equal
  deleted
  inserted
  replaced
  
    
    
   392 # with spaces.  | 
   392 # with spaces.  | 
   393   | 
   393   | 
   394 INPUT                  = mainpage.dox \  | 
   394 INPUT                  = mainpage.dox \  | 
   395                          maps.dox coding_style.dox \  | 
   395                          maps.dox coding_style.dox \  | 
   396                          groups.dox \  | 
   396                          groups.dox \  | 
   397                          ../src/include \  | 
   397                          ../src/hugo \  | 
   398                          ../src/include/skeletons \  | 
   398                          ../src/hugo/skeletons \  | 
   399                          ../src/work/alpar/list_graph.h \  | 
   399                          ../src/work/alpar/list_graph.h \  | 
   400                          ../src/work/athos/minlengthpaths.h \  | 
   400                          ../src/work/athos/minlengthpaths.h \  | 
   401                          ../src/work/klao/path.h \  | 
   401                          ../src/work/klao/path.h \  | 
   402 			 ../src/work/marci/graph_wrapper.h \  | 
   402 			 ../src/work/marci/graph_wrapper.h \  | 
   403                          ../src/work/jacint/max_flow.h  | 
   403                          ../src/work/jacint/max_flow.h  |