equal
deleted
inserted
replaced
1 #!/usr/bin/make |
1 #!/usr/bin/make |
2 |
2 |
3 # No final slash here! |
3 # No final slash here! |
4 # It will mess up rsync behavior. |
4 # It will mess up rsync behavior. |
5 TOP=`pwd` |
5 TOP=`pwd` |
6 TARGETS=couleurs colors jjch credo dri-aido jdrdef jdrl |
6 TARGETS=couleurs colors jjch credo dri-aido jdrdef jdrl resolution |
7 UPDATE_FILES=$(TARGETS) index.en.html index.fr.html |
7 UPDATE_FILES=$(TARGETS) index.en.html index.fr.html |
8 SRC_DIR=`pwd` |
8 SRC_DIR=`pwd` |
9 INSTALL_DIR=$(TOP)/install |
9 INSTALL_DIR=$(TOP)/install |
10 SGML_CATALOG_FILES=/etc/sgml/catalog |
10 SGML_CATALOG_FILES=/etc/sgml/catalog |
11 HTML_FILES=index.en.html index.fr.html |
11 HTML_FILES=index.en.html index.fr.html |