Previous: dot_constant.???.?, Up: Miscellaneous style-file parameters [Contents][Index]
dot_constant.???.?
null_file
The name of the null file or device. For more discussion, see Change files.