lib/Tools/latex
changeset 26954 3a3816ca44bb
parent 26908 25fb7241f32e
child 26979 c58778bdf146
equal deleted inserted replaced
26953:c460ed6eeeef 26954:3a3816ca44bb
   109     RC="$?"
   109     RC="$?"
   110     ;;
   110     ;;
   111   ps)
   111   ps)
   112     check_root && \
   112     check_root && \
   113     run_latex && \
   113     run_latex && \
   114     run_dvips &&
   114     run_dvips
   115     RC="$?"
   115     RC="$?"
   116     ;;
   116     ;;
   117   ps.gz)
   117   ps.gz)
   118     check_root && \
   118     check_root && \
   119     run_latex && \
   119     run_latex && \