Changeset 9d4824d in git for doc/Makefile.in

Timestamp:

Oct 30, 2009, 10:38:42 AM (14 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'd0474371d8c5d8068ab70bfb42719c97936b18a6')

Children:

a987caecec48f2a8304eddc55f9004f6b0681736

Parents:

919954f7c9ffc75259deee6ddcdfbf0f7cc9e96c

Message:

*hannes: handle png


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

File:

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

doc/Makefile.in

@@ -2 +2 @@
 ###
 ### Makefile for Singular documentation
-### $Id: Makefile.in,v 1.109 2009-10-30 09:37:25 Singular Exp $
+### $Id: Makefile.in,v 1.110 2009-10-30 09:38:42 Singular Exp $
 #####################################################################
 SHELL=/bin/sh
@@ -311 +311 @@
         cp ${HTML_SUBDIR}/*.htm ${install_htmldir}
         cp ${HTML_SUBDIR}/*.gif ${install_htmldir}
+        -cp ${HTML_SUBDIR}/*.png ${install_htmldir}
         cp ${HTML_SUBDIR}/*.jpg ${install_htmldir}
         chmod -R +rX ${install_htmldir}