path: root/mcon/files/file.U
diff options
Diffstat (limited to 'mcon/files/file.U')
1 files changed, 47 insertions, 0 deletions
diff --git a/mcon/files/file.U b/mcon/files/file.U
new file mode 100644
index 0000000..b89f5fc
--- /dev/null
+++ b/mcon/files/file.U
@@ -0,0 +1,47 @@
+?RCS: $Id: file.U,v 3.0 1993/08/18 12:10:06 ram Exp $
+?RCS: Copyright (c) 1991-1993, Raphael Manfredi
+?RCS: You may redistribute only under the terms of the Artistic Licence,
+?RCS: as specified in the README file that comes with the distribution.
+?RCS: You may reuse parts of this distribution only within the terms of
+?RCS: that same Artistic Licence; a copy of which may be found at the root
+?RCS: of the source tree for dist 3.0.
+?RCS: $Log: file.U,v $
+?RCS: Revision 3.0 1993/08/18 12:10:06 ram
+?RCS: Baseline for dist 3.0 netwide release.
+?MAKE:<FILE> <FILE>exp: Oldconfig Getfile
+?MAKE: -pick add $@ %<
+?S: The name of the <FILE> file. The name may have ~ on the front.
+?S: This is the same as the <FILE> variable, but is filename expanded
+?S: so that later Configure units can look at the <FILE> file if desired.
+?C: The name of the <FILE> file. The name may have ~ on the front so the
+?C: program must be prepared to do filename expansion.
+?C: The same as <FILE> but ~name expansion has been done by Configure.
+?H:#define <%FILE> "$<FILE>" /**/
+?H:#define <%FILE>_EXP "$<FILE>exp" /**/
+: locate <FILE> file
+echo " "
+case "$<FILE>" in
+ dflt=<DFLT>
+ ;;
+*) dflt="$<FILE>";;
+rp='Where is the <FILE> file?'
+. getfile