diff --git a/docs/Makefile b/docs/Makefile index ca60402..84be125 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -1,7 +1,6 @@ -SUBDIRS = editing-example1 editing-example2 editing-example3 execmanual \ - procedure +SUBDIRS = execmanual procedure INPUTS = index.xml constitution.xml official.xml machine_usage.xml \ - machine_usage_summary.xml website.xml editing-howto.xml \ - constitution-change-20020920.xml execmanual.xml procedure.xml + machine_usage_summary.xml website.xml constitution-change-20020920.xml \ + constitution-change-20040205.xml execmanual.xml procedure.xml include ../default.mk diff --git a/docs/directory.xml b/docs/directory.xml index 4fc0098..52e6b66 100644 --- a/docs/directory.xml +++ b/docs/directory.xml @@ -4,6 +4,5 @@ - diff --git a/docs/editing-example1/Makefile b/docs/editing-example1/Makefile deleted file mode 100644 index 95c1f96..0000000 --- a/docs/editing-example1/Makefile +++ /dev/null @@ -1,3 +0,0 @@ -INPUTS = operating-systems.xml - -include ../../default.mk diff --git a/docs/editing-example1/directory.xml b/docs/editing-example1/directory.xml deleted file mode 100644 index 14b9b7c..0000000 --- a/docs/editing-example1/directory.xml +++ /dev/null @@ -1,8 +0,0 @@ - - - - - - - - diff --git a/docs/editing-example1/operating-systems.xml b/docs/editing-example1/operating-systems.xml deleted file mode 100644 index aaea6d9..0000000 --- a/docs/editing-example1/operating-systems.xml +++ /dev/null @@ -1,6 +0,0 @@ - - - -
-