TEXT   47
customization section
Guest on 23rd April 2023 05:07:31 AM


  1. CUSTOMIZATION SECTION
  2.  
  3. SHELL = /bin/sh
  4. #
  5. TIBDIR = /usr/local/lib/texmf/tib
  6. DESTDIR = /usr/local/bin
  7. MANDIR = /usr/local/man
  8. TEXBIN = /usr/local/bin/tex

Raw Paste

Login or Register to edit or fork this paste. It's free.