DataMuseum.dk

Presents historical artifacts from the history of:

DKUUG/EUUG Conference tapes

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about DKUUG/EUUG Conference tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - metrics - download
Index: T m

⟦c4d2a2e62⟧ TextFile

    Length: 1213 (0x4bd)
    Types: TextFile
    Names: »make_all_natural«

Derivation

└─⟦52210d11f⟧ Bits:30007239 EUUGD2: TeX 3 1992-12
    └─⟦c319c2751⟧ »unix3.0/TeX3.0.tar.Z« 
        └─⟦036c765ac⟧ 
            └─⟦this⟧ »TeX3.0/TeXcontrib/sauter/make_all_natural« 
└─⟦060c9c824⟧ Bits:30007080 DKUUG TeX 2/12/89
    └─⟦this⟧ »./tex82/TeXcontrib/sauter/make_all_natural« 
└─⟦52210d11f⟧ Bits:30007239 EUUGD2: TeX 3 1992-12
    └─⟦63303ae94⟧ »unix3.14/TeX3.14.tar.Z« 
        └─⟦c58930e5c⟧ 
            └─⟦this⟧ »TeX3.14/TeXcontrib/sauter/make_all_natural« 

TextFile

#! /bin/csh -f
# Make a set of fonts, at their natural sizes.

# Get the list of possible files.
if (-d mf) then
   cd mf
   set font_list=`/bin/ls *.mf`
   cd ..
else
   echo 'No subdirectory named mf.'
   exit(1)
endif

if (! -d tfm || ! -d gf) then
   echo 'Sorry, no subdirectories named tfm and gf.'
   exit(2)
endif

# Has this already been run?
set out_file = make_gf_files
if (-e $out_file) then
   echo "The script $out_file already exists."
   exit(2)
endif

set program = cmmf # Assume cmbase preloaded.

# Get the output device.
echo -n 'Mode name to generate for? '
set mf_mode = $<

# If this directory is not a subdirectory of `mf84/MFfonts/cm'
# in the TeX distribution, the assignment to MFINPUTS will
# have to be changed. The idea is to include the standard Computer
# Modern files, like roman.mf, romanu.mf, and so forth.
echo '#! /bin/csh -f' > $out_file
echo 'setenv MFINPUTS .:mf:../../../../cmfonts/mf' >> $out_file

foreach long_name ($font_list)
   set font=$long_name:r

   echo $program" '\batchmode;mode:=$mf_mode;input $font'" >> $out_file
   echo '/bin/mv -f '$font'.tfm tfm' >> $out_file
   echo '/bin/mv '$font'.*gf gf'  >> $out_file
end

# Make it executable.
chmod +x $out_file