Changeset 4b72f6 in git for doc/Makefile.in


Ignore:
Timestamp:
Nov 24, 1999, 7:50:43 PM (24 years ago)
Author:
Olaf Bachmann <obachman@…>
Branches:
(u'spielwiese', '0d6b7fcd9813a1ca1ed4220cfa2b104b97a0a003')
Children:
6171f8981338ed758a299513c58c53a874f984ed
Parents:
5d32fdb9ecb9fff4978a30bd8fb80b5e9fcdb7b0
Message:
insatllation proocedure


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

Legend:

Unmodified
Added
Removed
  • doc/Makefile.in

    r5d32fd r4b72f6  
    22###
    33### Makefile for Singular documentation
    4 ### $Id: Makefile.in,v 1.40 1999-08-16 16:52:29 Singular Exp $
     4### $Id: Makefile.in,v 1.41 1999-11-24 18:50:40 obachman Exp $
    55#####################################################################
    66SHELL=/bin/sh
     
    1616bindir          = @bindir@
    1717htmldir         = ${prefix}/html
     18install_infodir = ${install_prefix}/info
     19install_htmldir = ${install_prefix}/html
     20install_docdir  = ${install_prefix}/doc
    1821
    1922##
     
    210213        - rmdir ${infodir}
    211214
     215install-sharedist: singular.hlp html/index.htm singular.idx
     216        ${MKINSTALLDIRS} ${install_infodir}
     217        ${INSTALL_DATA} singular.hlp ${install_infodir}
     218        ${MKINSTALLDIRS} ${install_htmldir}
     219        cp ${HTML_SUBDIR}/* ${install_htmldir}
     220        chmod 644 ${htmldir}/*
     221        ${MKINSTALLDIRS} ${install_docdir}
     222        ${INSTALL_DATA} singular.idx ${install_docdir}
     223
    212224texi2html = $(TEXI2HTML:%.pl=%)
    213225
Note: See TracChangeset for help on using the changeset viewer.