Mercurial Mercurial > wneuper > isa / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
doc-src/Sledgehammer/Makefile
changeset 43508 381fdcab0f36
parent 36918 90bb12cf8e36
equal deleted inserted replaced
43507:41dff1b862bf 43508:381fdcab0f36 
     1 #
 
       
     2 # $Id$
 
       
     3 #
 
       
     4 
     1 
     5 ## targets
 
     2 ## targets
 
     6 
     3 
     7 default: dvi
 
     4 default: dvi
 
     8 
     5
wneuper/isa