diff options
Diffstat (limited to 'etc/stklos/Makefile.in')
| -rw-r--r-- | etc/stklos/Makefile.in | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/etc/stklos/Makefile.in b/etc/stklos/Makefile.in new file mode 100644 index 0000000..186fd58 --- /dev/null +++ b/etc/stklos/Makefile.in @@ -0,0 +1,44 @@ +# +# Makefile.in -- Skribe Makefile for Stklos +# +# Copyright © 2003 Erick Gallesio - I3S-CNRS/ESSI <eg@unice.fr> +# +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; either version 2 of the License, or +# (at your option) any later version. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program; if not, write to the Free Software +# Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, +# USA. +# +# Author: Erick Gallesio [eg@essi.fr] +# Creation date: 10-Aug-2003 17:31 (eg) +# Last file update: 10-Nov-2003 19:48 (eg) +# + +PRCS_FILES=Makefile.config.in Makefile.in Makefile.skb.in configure.in \ +configure + +all: configure + + +configure: configure.in + autoconf + +clean: + /bin/rm -f config.* *~ + +pop: + @echo $(PRCS_FILES:%=etc/stklos/%) + +distclean: clean + (cd ../../src/stklos/; $(MAKE) distclean) + /bin/rm -f Makefile Makefile.skb ../Makefile.config |