home *** CD-ROM | disk | FTP | other *** search
/ Geek Gadgets 1 / ADE-1.bin / ade-dist / unixtex-6.1b-src.tgz / tar.out / contrib / unixtex / xdvik / mksedscript < prev    next >
Text File  |  1996-09-28  |  2KB  |  82 lines
  1. #!/bin/sh
  2. FONTPATH=$1
  3. FONTSIZES=$2
  4. VFPATH=$3
  5. shift 3
  6.  
  7. BUTTONS=y
  8. A4=''
  9. SUBDIR=''
  10. TEXFONTS=''
  11. GREY=y
  12. MAKEPK=y
  13. BDPI=''
  14. PS=y
  15. DPS=''
  16. NEWS=''
  17. GHOST=y
  18.  
  19. while test $# -gt 0
  20. do
  21.     case $1 in
  22.     -DNOBUTTONS)        BUTTONS=;;
  23.     -DA4)            A4=y;;
  24.     -DSEARCH_SUBDIRECTORIES) SUBDIR=y;;
  25.     -DXDVIFONTS_ONLY)    TEXFONTS=y;;
  26.     -DNOGREY)            GREY=;;
  27.     -DMAKEPK)        MAKEPK=-DMAKEPKCMD=\\\"MakeTeXPK\\\";;
  28.     -DMAKEPKCMD*)        MAKEPK=$1;;
  29.     -DBDPI=*)        BDPI=$1;;
  30.     -DPS_DPS)        DPS=y; GHOST=; PS=y;;
  31.     -DPS_NEWS)        NEWS=y; GHOST=; PS=y;;
  32.     -DPS_GS)        GHOST=y; PS=y;;
  33.     esac
  34.     shift
  35. done
  36.  
  37. if test -z "$BUTTONS";    then    echo    '/^#ifbuttons/,/^#/d';    fi
  38. if test -z "$SUBDIR";    then    echo    '/^#ifsubdir/,/^#/d';    fi
  39. if test -n "$TEXFONTS";    then    echo    '/^#iftexfonts/,/^#/d';    fi
  40. if test -z "$GREY";    then    echo    '/^#ifgrey/,/^#/d';    fi
  41. if test -z "$PS";    then    echo    '/^#ifps/,/^#/d';    fi
  42. if test -z "$DPS";    then    echo    '/^#ifdps/,/^#/d';    fi
  43. if test -z "$NEWS";    then    echo    '/^#ifnews/,/^#/d';    fi
  44. if test -z "$GHOST";    then    echo    '/^#ifghost/,/^#/d';    fi
  45. if test -z "$MAKEPK";    then    echo    '/^#ifmakepk/,/^#/d'
  46.     else    echo    "s^%%mkpk%%^`echo $MAKEPK | sed s/-DMAKEPKCMD=//`^"
  47.     fi
  48. echo    '/^#/d'
  49.  
  50. if test -n "$A4"
  51. then
  52.     echo    's/%%defaultpagesize%%/21 x 29.7 cm (A4 size)/'
  53. else
  54.     echo    's/%%defaultpagesize%%/8.5 x 11 inches/'
  55. fi
  56.  
  57. if test -n "$BDPI"
  58. then
  59.     echo    "s/%%bdpi%%/`echo $BDPI | sed s/-DBDPI=//`/"
  60. else
  61.     echo    's/%%bdpi%%/300/'
  62. fi
  63.  
  64. echo    "s@%%DEFAULT_FONT_PATH%%   @.B $FONTPATH\\
  65. @" | sed -e "s@:@\\\\\\
  66. .TP\\\\\\
  67. .B @g"
  68.  
  69. echo    "s/%%DEFAULT_FONT_SIZES%%/$FONTSIZES/" | sed -e "s/:/ :\\\\\\
  70. /g"
  71.  
  72. if test -n "$VFPATH"
  73. then
  74.     echo    "s@%%DEFAULT_VF_PATH%%   @.TP\\
  75. .B $VFPATH\\
  76. @" | sed -e "s@:@\\\\\\
  77. .TP\\\\\\
  78. .B @g"
  79. else
  80.     echo    '/%%DEFAULT_VF_PATH%%/d'
  81. fi
  82.