next up previous contents
Next: load PLUGIN Up: Non-Extensions Previous: Non-Extensions   Contents

source CONFIG

Reads the file CONFIG as if its text appeared at this point in the configuration file.


Zygo Blaxell 2003-03-04