From 85f6baae0d1f3d152f2c0b34d6461cb418d6f4ac Mon Sep 17 00:00:00 2001 From: Norman Walsh Date: Thu, 12 Sep 2002 00:05:44 +0000 Subject: [PATCH] Added FPIs to modules --- website/extensions.mod | 4 +++- website/website-custom.dtd | 4 ++-- website/website-full.dtd | 11 +++++++---- website/website.mod | 6 ++++-- 4 files changed, 16 insertions(+), 9 deletions(-) diff --git a/website/extensions.mod b/website/extensions.mod index a72ac1e2d..bba28524c 100644 --- a/website/extensions.mod +++ b/website/extensions.mod @@ -13,7 +13,9 @@ - + %namespaces.mod; diff --git a/website/website-custom.dtd b/website/website-custom.dtd index 62dd02cf3..0ed6cc264 100644 --- a/website/website-custom.dtd +++ b/website/website-custom.dtd @@ -42,8 +42,8 @@ - + %sdocbook; diff --git a/website/website-full.dtd b/website/website-full.dtd index 961f383ca..41a0ad928 100644 --- a/website/website-full.dtd +++ b/website/website-full.dtd @@ -17,13 +17,16 @@ --> - + %extensions.mod; - + %docbook.dtd; - + %website.mod; diff --git a/website/website.mod b/website/website.mod index 8ddad65fa..28d975b80 100644 --- a/website/website.mod +++ b/website/website.mod @@ -82,12 +82,14 @@ > + %rddl.mod; ]]> + %forms.mod; ]]> -- 2.50.1