Changeset 35cb362 in report for tools


Ignore:
Timestamp:
Jul 5, 2010 1:51:54 PM (10 years ago)
Author:
Simon Marlow <marlowsd@…>
Branches:
h2010, master
Children:
f24ec25
Parents:
374449a
Message:

remove old run_tex tool, no longer used

Location:
tools
Files:
1 deleted
1 edited

Legend:

Unmodified
Added
Removed
  • tools/Makefile

    r374449a r35cb362  
    1212LEX_OPTS = -t -8
    1313
    14 all : verbatim verb-tex4ht run_tex run_index
     14all : verbatim verb-tex4ht run_index
    1515
    1616%.c : %.lex
     
    2626        $(CC) -o $@ $^
    2727
    28 run_tex: tex.hs
    29         $(GHC) -o run_tex tex.hs -fglasgow-exts
    30 
    3128run_index: index.hs
    3229        $(GHC) -o run_index index.hs -fglasgow-exts
    3330
    34 
    3531clean:
    3632        rm -f verbatim verb-tex4ht run_tex run_index *.o *.hi
Note: See TracChangeset for help on using the changeset viewer.