echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0
echo ' "@INFODIR@"'; \
echo ' (system-library-directory-pathname)'; \
echo ' "@SCMDOCDIR@")' ) \
-| mit-scheme-pucked --batch-mode
+| /usr/bin/mit-scheme-pucked --batch-mode
exit 0