#! /bin/sh
# BEGIN LICENSE BLOCK
# Version: CMPL 1.1
#
# The contents of this file are subject to the Cisco-style Mozilla Public
# License Version 1.1 (the "License"); you may not use this file except
# in compliance with the License.  You may obtain a copy of the License
# at www.eclipse-clp.org/license.
# 
# Software distributed under the License is distributed on an "AS IS"
# basis, WITHOUT WARRANTY OF ANY KIND, either express or implied.  See
# the License for the specific language governing rights and limitations
# under the License. 
# 
# The Original Code is  The ECLiPSe Constraint Logic Programming System. 
# The Initial Developer of the Original Code is  Cisco Systems, Inc. 
# Portions created by the Initial Developer are
# Copyright (C) 2006 Cisco Systems, Inc.  All Rights Reserved.
# 
# Contributor(s): 
# 
# END LICENSE BLOCK

DEST=../../doc_internal

if [ "$ARCH" != "i386_linux" ] ; then
    echo "Can build docs only on i386_linux"
    exit 1
fi


(
    cd kernel
    TEXINPUTS=../../texinputs:$TEXINPUTS
    BIBINPUTS=../../texinputs
    export TEXINPUTS BIBINPUTS
    make install
)


#(
#    cd project
#    TEXINPUTS=../../texinputs:$TEXINPUTS
#    BIBINPUTS=../../texinputs
#    export TEXINPUTS BIBINPUTS
#    make
#    make project.ps
#)
#cp -pr project/project $DEST
#cp -pr project/project.ps $DEST

cp *.html *.txt *.png $DEST
chmod -R a+rX,ug+w $DEST

exit 0

