Searched refs:PLFILE (Results 1 – 12 of 12) sorted by relevance
/dports/lang/yap/yap-6.2.2/library/mpi/examples/ |
H A D | demo.sh | 12 PLFILE=$1 51 echo "consult(${QUOTE}${PLFILE}${QUOTE}). start(0,20). halt." 52 echo "consult(${QUOTE}${PLFILE}${QUOTE}). start(0,20). halt." | ${YAP} $before -- $after
|
/dports/multimedia/mps-youtube/mps-youtube-afab9fb/mps_youtube/ |
H A D | playlists.py | 94 if os.path.isfile(g.PLFILE): 140 elif not os.path.isfile(g.PLFILE): 144 with open(g.PLFILE, 'rb') as plf: 158 with open(g.PLFILE, "rb") as plf: 166 screen.msgexit("Error opening playlists from %s" % g.PLFILE, 1)
|
H A D | g.py | 57 PLFILE = os.path.join(paths.get_config_dir(), "playlist_v2") variable
|
/dports/print/texlive-base/texlive-20150521-source/texk/texlive/linked_scripts/pkfix-helper/ |
H A D | pkfix-helper | 132 open (PLFILE, "<$plname") || die "${progname}: Unable to open $tfmname ($!)\n"; 134 while (my $oneline = <PLFILE>) { 163 close PLFILE;
|
/dports/audio/mps/mps-0.20.16/mps_pkg/ |
H A D | main.py | 323 PLFILE = os.path.join(get_config_dir(), "playlist") variable in g 618 f = open(g.PLFILE, "wb") 637 if os.path.exists(g.PLFILE): 638 load_playlist(g.PLFILE)
|
/dports/print/tex-luatex/texlive-20150521-source/texk/web2c/doc/ |
H A D | web2c.info | 3003 tftopl [OPTION]... TFMNAME[.tfm] [PLFILE[.pl]] 3010 If PLFILE (which is extended with '.pl' if necessary) is not 3121 pltotf [OPTION]... PLFILE[.pl] [TFMFILE[.tfm]] 3124 TFM file is written to the basename of 'PLFILE.tfm', e.g., 'pltotf
|
/dports/print/tex-basic-engines/texlive-20150521-source/texk/web2c/doc/ |
H A D | web2c.info | 3003 tftopl [OPTION]... TFMNAME[.tfm] [PLFILE[.pl]] 3010 If PLFILE (which is extended with '.pl' if necessary) is not 3121 pltotf [OPTION]... PLFILE[.pl] [TFMFILE[.tfm]] 3124 TFM file is written to the basename of 'PLFILE.tfm', e.g., 'pltotf
|
/dports/devel/tex-web2c/texlive-20150521-source/texk/web2c/doc/ |
H A D | web2c.info | 3003 tftopl [OPTION]... TFMNAME[.tfm] [PLFILE[.pl]] 3010 If PLFILE (which is extended with '.pl' if necessary) is not 3121 pltotf [OPTION]... PLFILE[.pl] [TFMFILE[.tfm]] 3124 TFM file is written to the basename of 'PLFILE.tfm', e.g., 'pltotf
|
/dports/devel/tex-synctex/texlive-20150521-source/texk/web2c/doc/ |
H A D | web2c.info | 3003 tftopl [OPTION]... TFMNAME[.tfm] [PLFILE[.pl]] 3010 If PLFILE (which is extended with '.pl' if necessary) is not 3121 pltotf [OPTION]... PLFILE[.pl] [TFMFILE[.tfm]] 3124 TFM file is written to the basename of 'PLFILE.tfm', e.g., 'pltotf
|
/dports/japanese/tex-ptex/texlive-20150521-source/texk/web2c/doc/ |
H A D | web2c.info | 3003 tftopl [OPTION]... TFMNAME[.tfm] [PLFILE[.pl]] 3010 If PLFILE (which is extended with '.pl' if necessary) is not 3121 pltotf [OPTION]... PLFILE[.pl] [TFMFILE[.tfm]] 3124 TFM file is written to the basename of 'PLFILE.tfm', e.g., 'pltotf
|
/dports/print/tex-aleph/texlive-20150521-source/texk/web2c/doc/ |
H A D | web2c.info | 3003 tftopl [OPTION]... TFMNAME[.tfm] [PLFILE[.pl]] 3010 If PLFILE (which is extended with '.pl' if necessary) is not 3121 pltotf [OPTION]... PLFILE[.pl] [TFMFILE[.tfm]] 3124 TFM file is written to the basename of 'PLFILE.tfm', e.g., 'pltotf
|
/dports/print/tex-xetex/texlive-20150521-source/texk/web2c/doc/ |
H A D | web2c.info | 3003 tftopl [OPTION]... TFMNAME[.tfm] [PLFILE[.pl]] 3010 If PLFILE (which is extended with '.pl' if necessary) is not 3121 pltotf [OPTION]... PLFILE[.pl] [TFMFILE[.tfm]] 3124 TFM file is written to the basename of 'PLFILE.tfm', e.g., 'pltotf
|