dotexi.sh 1.1 KB

1234567891011121314151617181920212223
  1. #!/bin/sh
  2. ###############################################################################
  3. # NAME: dotexi.sh
  4. # DESCRIPTION: Script to make the final PDF file from .po file
  5. # NOTES: Only work for this case
  6. ###############################################################################
  7. po4a-translate -f texinfo -m orgguide.texi -p orgguide.es.po -l orgguide.es.texi
  8. LIN_INI=`grep -n '@settitle' orgguide.es.texi | cut -d: -f1`
  9. LIN_FIN=`grep -n '@finalout' orgguide.es.texi | cut -d: -f1`
  10. LIN_TOT=`wc -l orgguide.es.texi | cut -d' ' -f1`
  11. head -${LIN_INI} orgguide.es.texi > orgguide.es.tmp1
  12. head -`echo "${LIN_FIN} - 1" | bc` orgguide.es.texi | tail -n`echo "${LIN_FIN} - ${LIN_INI} - 1" | bc`> orgguide.es.tmp2
  13. echo "@documentencoding UTF-8" > orgguide.es.tmp3
  14. echo "@documentlanguage es" >> orgguide.es.tmp3
  15. echo "@smallbook" > orgguide.es.tmp4
  16. tail -n`echo "${LIN_TOT} - ${LIN_FIN} + 1" | bc` orgguide.es.texi > orgguide.es.tmp5
  17. cat orgguide.es.tmp1 > orgguide.es.texi
  18. cat orgguide.es.tmp2 >> orgguide.es.texi
  19. cat orgguide.es.tmp3 >> orgguide.es.texi
  20. cat orgguide.es.tmp4 >> orgguide.es.texi
  21. cat orgguide.es.tmp5 >> orgguide.es.texi