Нема описа

makefile_unix.sh 1.8KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. #! /bin/bash
  2. if [ "$(whoami)" != "root" ]; then
  3. echo "Vous devez posséder les droits administrateurs pour installer ce package."
  4. echo "Veuillez utiliser la commande « sudo sh unix_installer.sh »."
  5. exit 1
  6. fi
  7. pdflatex polytechnique.dtx >> /dev/null
  8. makeindex -q -s gind.ist -o polytechnique.ind polytechnique.idx >> /dev/null
  9. pdflatex polytechnique.dtx >> /dev/null
  10. rm *.aux *.glo *.idx *.ilg *.ind *.log *.toc >> /dev/null
  11. chemindist=$(kpsewhich -var-value TEXMFMAIN)
  12. chemintex=${chemindist}/tex/latex/polytechnique
  13. cheminsource=${chemindist}/source/latex/polytechnique
  14. cheminsourceresources=${chemindist}/source/latex/polytechnique/resources
  15. chemindoc=${chemindist}/doc/latex/polytechnique
  16. mkdir ${chemintex}
  17. mkdir ${cheminsource}
  18. mkdir ${cheminsourceresources}
  19. mkdir ${chemindoc}
  20. cp polytechnique.dtx ${cheminsource}
  21. cp polytechnique.sty ${chemintex}
  22. cp polytechnique.pdf ${chemindoc}
  23. rm -f polytechnique.sty
  24. cd resources
  25. cp *.eps ${cheminsourceresources}
  26. cp *.eps ${chemintex}
  27. cp *.pdf ${cheminsourceresources}
  28. cp *.pdf ${chemintex}
  29. echo "************************************************"
  30. echo "* La base de donnees des packages est en train *"
  31. echo "* de se mettre à jour. Cela peut prendre un *"
  32. echo "* peu de temps. Merci de patienter. *"
  33. echo "************************************************"
  34. texhash >> /dev/null
  35. echo "************************************************"
  36. echo "* Le package a ete installe ! La documentation *"
  37. echo "* se trouve a l'emplacement suivant : *"
  38. echo ${chemindoc}
  39. echo "* Les fichiers sources et resources a *"
  40. echo "* l'endroit suivant : *"
  41. echo ${cheminsource}
  42. echo "* Et le .sty a l'endroit suivant : *"
  43. echo ${chemintex}
  44. echo "* Bonne utilisation ! *"
  45. echo "************************************************"