--- /dev/null
+case $CONFIG in
+'') . ./config.sh ;;
+esac
+echo "Extracting Policy.sh (with variable substitutions)"
+$spitshell <<!GROK!THIS! >Policy.sh
+$startsh
+#
+# This file was produced by running the Policy_sh.SH script, which
+# gets its values from config.sh, which is generally produced by
+# running Configure.
+#
+# The idea here is to distill in one place the common site-wide
+# "policy" answers (such as installation directories) that are
+# to be "sticky". That is, if you keep the file Policy.sh around in
+# the same directory as you are building Perl, then Configure will
+# (by default) load up the Policy.sh file just before the
+# platform-specific hints file.
+#
+
+#Credits:
+# The original design for this Policy.sh file came from Wayne Davison,
+# maintainer of trn.
+# This version for Perl5.004_61 originally written by
+# Andy Dougherty <doughera@lafcol.lafayette.edu>.
+# This file may be distributed under the same terms as Perl itself.
+
+
+# Site-specific values
+
+perladmin='$perladmin'
+
+# Installation directives. Note that each one comes in three flavors.
+# For example, we have privlib, privlibexp, and installprivlib.
+# privlib is for private (to perl) library files.
+# privlibexp is the same, expcept any '~' the user gave to Configure
+# is expanded to the user's home directory. This is figured
+# out automatically by Configure, so you don't have to include it here.
+# installprivlib is for systems (such as those running AFS) that
+# need to distinguish between the place where things
+# get installed and where they finally will reside.
+# A full Glossary of all these config.sh variables is in the
+# Porting/Glossary file.
+
+# Installation Prefix.
+prefix='$prefix'
+
+bin='$bin'
+installbin='$installbin'
+
+scriptdir='$scriptdir'
+installscript='$installscript'
+
+privlib='$privlib'
+installprivlib='$installprivlib'
+
+archlib='$archlib'
+installarchlib='$installarchlib'
+
+sitearch='$sitearch'
+installsitearch='$installsitearch'
+
+sitelib='$sitelib'
+installsitelib='$installsitelib'
+
+# man1 and man3 manpage directories and extensions.
+man1dir='$man1dir'
+man1ext='$man1ext'
+installman1dir='$installman1dir'
+man3dir='$man3dir'
+man3ext='$man3ext'
+installman3dir='$installman3dir'
+
+# You may add additional items here, for example, to set the pager
+# to your local favorite value, uncomment
+# #pager='$pager'
+
+!GROK!THIS!