Changeset c1cd11 in git


Ignore:
Timestamp:
Dec 8, 1999, 7:44:10 PM (24 years ago)
Author:
Olaf Bachmann <obachman@…>
Branches:
(u'spielwiese', '5b153614cbc72bfa198d75b1e9e33dab2645d9fe')
Children:
b29fa67bb9aa64a93a5670498ff4ddbe87aae30a
Parents:
c84d6782f0d7ad4f1c704113673d0e9d011479aa
Message:
* small changes


git-svn-id: file:///usr/local/Singular/svn/trunk@3983 2c84dea3-7e68-4137-9b89-c4e89433aadc
Location:
doc
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • doc/Makefile.in

    rc84d678 rc1cd11  
    22###
    33### Makefile for Singular documentation
    4 ### $Id: Makefile.in,v 1.50 1999-12-08 17:59:32 obachman Exp $
     4### $Id: Makefile.in,v 1.51 1999-12-08 18:44:09 obachman Exp $
    55#####################################################################
    66SHELL=/bin/sh
     
    253253
    254254install-sharedist: singular.hlp html/index.htm singular.idx \
    255                    COPYING.txt COPYING.html NEWS.txt NEWS.html
     255                   ${STANDALONE_HTML_FILES} ${STANDALONE_TXT_FILES}
    256256        ${MKINSTALLDIRS} ${install_prefix}
    257257        ${MKINSTALLDIRS} ${install_infodir}
     
    259259        ${MKINSTALLDIRS} ${install_htmldir}
    260260        cp ${HTML_SUBDIR}/* ${install_htmldir}
    261         chmod 644 ${htmldir}/*
     261        chmod 644 ${install_htmldir}/*
     262        ${MKINSTALLDIRS} ${install_exdir}
     263        cp ${exdir}/*.sing ${install_exdir}
     264        chmod 644 ${install_exdir}/*.sing
    262265        ${MKINSTALLDIRS} ${install_docdir}
    263266        ${INSTALL_DATA} singular.idx ${install_docdir}
  • doc/README_distribution.texi

    rc84d678 rc1cd11  
    11@comment -*-texinfo-*-
    2 @comment $Id: README_distribution.texi,v 1.1 1999-12-08 17:59:33 obachman Exp $
     2@comment $Id: README_distribution.texi,v 1.2 1999-12-08 18:44:09 obachman Exp $
    33@c FILE: README_distribution.texi
    44@c PURPOSE: general README file to be included in the distribution
     
    4040@item @uref{\url\,,\name\}
    4141@end ifhtml
    42 @ifnothtml
     42@ifinfo
    4343@item @code{\name\}
    44 @end ifnothtml
     44@end ifinfo
    4545@end macro
     46
    4647
    4748See the files
     
    5455for installation instructions
    5556@end table
     57
    5658
    5759More and up-to-date information about @sc{Singular} is always available
  • doc/README_ftp.texi

    rc84d678 rc1cd11  
    11@comment -*-texinfo-*-
    2 @comment $Id: README_ftp.texi,v 1.3 1999-12-08 17:59:33 obachman Exp $
     2@comment $Id: README_ftp.texi,v 1.4 1999-12-08 18:44:10 obachman Exp $
    33@c FILE: README_download.texi
    44@c PURPOSE: This should reside as README file in the main directory of the
     
    3030@item @uref{\url\,,\name\}
    3131@end ifhtml
    32 @ifnothtml
     32@ifinfo
    3333@item @code{\name\}
    34 @end ifnothtml
     34@end ifinfo
    3535@end macro
    3636
Note: See TracChangeset for help on using the changeset viewer.