summaryrefslogtreecommitdiff
path: root/mcon/U/inc.U
diff options
context:
space:
mode:
Diffstat (limited to 'mcon/U/inc.U')
-rw-r--r--mcon/U/inc.U39
1 files changed, 39 insertions, 0 deletions
diff --git a/mcon/U/inc.U b/mcon/U/inc.U
new file mode 100644
index 0000000..b1f8583
--- /dev/null
+++ b/mcon/U/inc.U
@@ -0,0 +1,39 @@
+?RCS: $Id: inc.U,v 3.0 1993/08/18 12:08:51 ram Exp $
+?RCS:
+?RCS: Copyright (c) 1991-1993, Raphael Manfredi
+?RCS:
+?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:
+?RCS: $Log: inc.U,v $
+?RCS: Revision 3.0 1993/08/18 12:08:51 ram
+?RCS: Baseline for dist 3.0 netwide release.
+?RCS:
+?MAKE:inc incexp: Loc Oldconfig Getfile usrinc
+?MAKE: -pick add $@ %<
+?S:inc:
+?S: This variable holds the name of the directory in which the user wants
+?S: to put public header files for the package in question. It is most
+?S: often a local directory such as /usr/local/include.
+?S:.
+?S:incexp:
+?S: This is the same as the inc variable, but is filename expaned
+?S: at configuration time for convenient use in your makefiles.
+?S:.
+: determine where public header files go
+case "$inc" in
+'')
+ dflt=`./loc . "." /usr/local/include /usr/include/local $usrinc`
+ ;;
+*) dflt="$inc"
+ ;;
+esac
+fn=d~
+rp='Where do you want to put the public header files?'
+. ./getfile
+inc="$ans"
+incexp="$ansexp"
+