equal
deleted
inserted
replaced
9 EN_ARTICLES=colors |
9 EN_ARTICLES=colors |
10 UNPUBLISHED=dri-aido jdrdef jdrl resolution |
10 UNPUBLISHED=dri-aido jdrdef jdrl resolution |
11 TARGETS=jeuderologie rpgtheory $(FR_ARTICLES) $(EN_ARTICLES) $(UNPUBLISHED) |
11 TARGETS=jeuderologie rpgtheory $(FR_ARTICLES) $(EN_ARTICLES) $(UNPUBLISHED) |
12 HTML_FILES=index.en.html index.fr.html |
12 HTML_FILES=index.en.html index.fr.html |
13 SGML_CATALOG_FILES=/etc/sgml/catalog |
13 SGML_CATALOG_FILES=/etc/sgml/catalog |
14 xml_validate=xmllint --xinclude --postvalid --noout $(1) |
14 xml_validate=xmllint --xinclude $(1) | \ |
|
15 sed -e 's/\(xmlns:xi\|xml:base\)="[^"]*"//g' | \ |
|
16 xmllint --valid --noout - 2>&1 | sed 's/^-:/$(1):/' |
15 html_validate=true |
17 html_validate=true |
16 |
18 |
17 make_subdir= \ |
19 make_subdir= \ |
18 [ -d $(2) ] || mkdir -p $(2) ; \ |
20 [ -d $(2) ] || mkdir -p $(2) ; \ |
19 $(MAKE) SRC_DIR=$(SRC_DIR) VPATH=$(SRC_DIR) \ |
21 $(MAKE) SRC_DIR=$(SRC_DIR) VPATH=$(SRC_DIR) \ |