lib/Tools/latex
changeset 26954 3a3816ca44bb
parent 26908 25fb7241f32e
child 26979 c58778bdf146
     1.1 --- a/lib/Tools/latex	Sun May 18 15:28:21 2008 +0200
     1.2 +++ b/lib/Tools/latex	Sun May 18 16:19:48 2008 +0200
     1.3 @@ -111,7 +111,7 @@
     1.4    ps)
     1.5      check_root && \
     1.6      run_latex && \
     1.7 -    run_dvips &&
     1.8 +    run_dvips
     1.9      RC="$?"
    1.10      ;;
    1.11    ps.gz)