Changeset 685b4c in git

Timestamp:

Jul 27, 2000, 4:55:58 PM (24 years ago)

Author:

Olaf Bachmann <obachman@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

86e2261b9a7aafe7cbbc9c7b536bfec05bf265fa

Parents:

3cc667a694fb399baf9eda67cac5ca0b2bee1387

Message:

* little stuff


git-svn-id: file:///usr/local/Singular/svn/trunk@4494 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• doc/Makefile.in (modified) (7 diffs)

doc/Makefile.in

@@ -2 +2 @@
 ### 
 ### Makefile for Singular documentation 
-### $Id: Makefile.in,v 1.74 2000-07-27 13:53:00 obachman Exp $
+### $Id: Makefile.in,v 1.75 2000-07-27 14:55:58 obachman Exp $
 #####################################################################
 SHELL=/bin/sh
@@ -10 +10 @@
 ## Configuration
 ##
+SINGUNAME       = @SINGUNAME@
+S_VERSION       = $${SINGULAR_VERSION-@SINGULAR_VERSION@}
 
 ## directory where info files are installed
@@ -17 +19 @@
 htmldir         = ${prefix}/html
 exdir           = ${prefix}/examples
+
+localdir        = /usr/local
+install_prefix  = ${localdir}/Singular/${S_VERSION}
 install_infodir = ${install_prefix}/info
 install_htmldir = ${install_prefix}/html
@@ -47 +52 @@
 
 VERBOSE         = 1 # override this with make VERBOSE=2
-SINGUNAME       = @SINGUNAME@
+
 # d2t stuff
 SINGULAR        = @SINGULAR@
@@ -282 +287 @@
         ${MKINSTALLDIRS} ${install_infodir}
         ${INSTALL_DATA} singular.hlp ${install_infodir}
+        chmod -R +rX ${install_infodir}
         ${MKINSTALLDIRS} ${install_htmldir} 
         cp ${HTML_SUBDIR}/*.htm ${install_htmldir}
@@ -287 +293 @@
         cp ${HTML_SUBDIR}/*.jpg ${install_htmldir}
         chmod -R +rX ${install_htmldir}
-        ${MKINSTALLDIRS} ${install_exdir}
-        cp -R examples ${install_prefix}
-        /bin/rm -f ${install_prefix}/examples/*.res
-        /bin/rm -f ${install_prefix}/examples/*.inc
-        chmod -R +rX ${install_prefix}/
         ${MKINSTALLDIRS} ${install_docdir}
         ${INSTALL_DATA} singular.idx ${install_docdir}
@@ -300 +301 @@
         ${INSTALL_DATA} README_distribution.txt ${install_prefix}/README
         ${INSTALL_DATA} README_distribution.html ${install_prefix}/README.html
+        chmod -R +rX ${install_docdir}
+        chmod -R +rX ${install_prefix}
+        ${MKINSTALLDIRS} ${install_exdir}
+        cp -R examples ${install_prefix}
+        /bin/rm -f ${install_prefix}/examples/[A-Z]*.res
+        /bin/rm -f ${install_prefix}/examples/*.res
+        /bin/rm -f ${install_prefix}/examples/[A-Z]*.inc
+        /bin/rm -f ${install_prefix}/examples/*.inc
+        chmod -R +rX ${install_prefix}/
 
 # use 'make INSTALL_unix.olaf.txt INSTALL_unix.olaf.html SINGUNAME=olaf'