Projects
New Ticket     Wiki     Browse Source     Timeline     Roadmap     Bug Reports     Search

Ticket #12640: Portfile.diff

File Portfile.diff, 421 bytes (added by marcuscalhounlopez@…, 15 months ago)
  • Portfile

    old new  
    9898                  # Add a directory for local enhancements 
    9999                  file mkdir ${destroot}${prefix}/share/texmf-local 
    100100                  system "touch ${destroot}${prefix}/share/texmf-local/.turd" 
     101                   
     102                  system "chown -R ${install.user}:${install.group} ${destroot}${prefix}" 
    101103                } 
    102104 
    103105post-activate   { system "fmtutil-sys --all"