Ingen beskrivning

makefile_unix.sh 1.8KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647
  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. cd source
  8. pdflatex polytechnique.dtx >> /dev/null
  9. makeindex -q -s gind.ist -o polytechnique.ind polytechnique.idx >> /dev/null
  10. pdflatex polytechnique.dtx >> /dev/null
  11. rm *.aux *.glo *.idx *.ilg *.ind *.log *.toc *.out >> /dev/null
  12. chemindist=$(kpsewhich -var-value TEXMFMAIN)
  13. chemintex=${chemindist}/tex/latex/polytechnique
  14. cheminsource=${chemindist}/source/latex/polytechnique
  15. cheminsourceresources=${chemindist}/source/latex/polytechnique
  16. chemindoc=${chemindist}/doc/latex/polytechnique
  17. mkdir ${chemintex}
  18. mkdir ${cheminsource}
  19. mkdir ${cheminsourceresources}
  20. mkdir ${chemindoc}
  21. cp polytechnique.dtx ${cheminsource}
  22. cp polytechnique.sty ${chemintex}
  23. cp polytechnique.pdf ${chemindoc}
  24. cp *.eps ${cheminsourceresources}
  25. cp *.eps ${chemintex}
  26. cp *.pdf ${cheminsourceresources}
  27. cp *.pdf ${chemintex}
  28. echo "************************************************"
  29. echo "* La base de donnees des packages est en train *"
  30. echo "* de se mettre à jour. Cela peut prendre un *"
  31. echo "* peu de temps. Merci de patienter. *"
  32. echo "************************************************"
  33. texhash >> /dev/null
  34. echo "************************************************"
  35. echo "* Le package a ete installe ! La documentation *"
  36. echo "* se trouve a l'emplacement suivant : *"
  37. echo ${chemindoc}
  38. echo "* Les fichiers sources et resources a *"
  39. echo "* l'endroit suivant : *"
  40. echo ${cheminsource}
  41. echo "* Et le .sty a l'endroit suivant : *"
  42. echo ${chemintex}
  43. echo "* Bonne utilisation ! *"
  44. echo "************************************************"