BASH   88
upd
Guest on 12th February 2023 03:17:35 AM


  1. #!/bin/sh
  2. #
  3. # Do not run this script until you fully understand what it does...
  4. #
  5. name="XTeXShell-0.91"
  6. echo "*** Generating TCL-Index..."
  7. tclsh -f << EOF
  8. auto_mkindex . xtexsh *.tcl
  9. EOF
  10. echo "*** Generating Help Index..."
  11. cd help
  12. update_help
  13. cd ..
  14. echo "*** Removing extra files..."
  15. rm -r -f ./*~
  16. rm -r -f help/*~
  17. rm -r -f bitmaps/*~
  18. rm -r -f bitmaps/*.log
  19. rm -r -f bitmaps/*.aux
  20. rm -r -f bitmaps/*.toc
  21. rm -r -f bitmaps/*.dvi
  22. rm -r -f bitmaps/*.bak
  23. rm -r -f bitmaps/*.ps
  24. rm -r -f bitmaps/tmp*
  25. rm -r -f bitmaps/bitconv
  26. rm -r -f DEADJOE
  27. echo "*** Setup permissions..."
  28. chmod -R a-wx *
  29. chmod -R a+r  *
  30. chmod  a+x xtexsh help bitmaps
  31. chmod  u+x upd help/convhelp help/update_help bitmaps/mkbitmaps testxtexsh
  32. echo "*** Generating archive..."
  33. cd ..
  34. tar czf $name.tgz $name/*
  35. cd $name
  36. echo "*** Done"

Raw Paste

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