From 727fa1f56c2e47203da5d232ad48b2fe02e63282 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 2 Feb 2006 22:50:31 +0000 Subject: [PATCH] use server-side include --- helm/www/matita/bottombar.shtml | 13 +++++ helm/www/matita/community.html | 19 ------- helm/www/matita/community.shtml | 15 +++++ helm/www/matita/developers.html | 56 ------------------- helm/www/matita/developers.shtml | 34 +++++++++++ helm/www/matita/documentation.html | 19 ------- helm/www/matita/documentation.shtml | 15 +++++ helm/www/matita/download.html | 25 --------- helm/www/matita/download.shtml | 20 +++++++ helm/www/matita/index.html | 1 - helm/www/matita/index.shtml | 1 + helm/www/matita/{matita.html => matita.shtml} | 11 ++-- helm/www/matita/menubar.shtml | 7 +++ helm/www/matita/xhtml-header.shtml | 4 ++ 14 files changed, 115 insertions(+), 125 deletions(-) create mode 100644 helm/www/matita/bottombar.shtml delete mode 100644 helm/www/matita/community.html create mode 100644 helm/www/matita/community.shtml delete mode 100644 helm/www/matita/developers.html create mode 100644 helm/www/matita/developers.shtml delete mode 100644 helm/www/matita/documentation.html create mode 100644 helm/www/matita/documentation.shtml delete mode 100644 helm/www/matita/download.html create mode 100644 helm/www/matita/download.shtml delete mode 120000 helm/www/matita/index.html create mode 120000 helm/www/matita/index.shtml rename helm/www/matita/{matita.html => matita.shtml} (85%) create mode 100644 helm/www/matita/menubar.shtml create mode 100644 helm/www/matita/xhtml-header.shtml diff --git a/helm/www/matita/bottombar.shtml b/helm/www/matita/bottombar.shtml new file mode 100644 index 000000000..edb173b45 --- /dev/null +++ b/helm/www/matita/bottombar.shtml @@ -0,0 +1,13 @@ + + + + + +
+ + Valid XHTML 1.0! + + + Valid CSS + +
diff --git a/helm/www/matita/community.html b/helm/www/matita/community.html deleted file mode 100644 index 792db177e..000000000 --- a/helm/www/matita/community.html +++ /dev/null @@ -1,19 +0,0 @@ - - - Matita home page - community - - - -
- Matita Home - Developers - Documentation - Community - Download -
-

Miki

-

- Miki is not yet ready... -

- - diff --git a/helm/www/matita/community.shtml b/helm/www/matita/community.shtml new file mode 100644 index 000000000..0b7c82d9d --- /dev/null +++ b/helm/www/matita/community.shtml @@ -0,0 +1,15 @@ + + + + Matita home page - community + + + + +

Miki

+

+ Miki is not yet ready... +

+ + + diff --git a/helm/www/matita/developers.html b/helm/www/matita/developers.html deleted file mode 100644 index 15136150a..000000000 --- a/helm/www/matita/developers.html +++ /dev/null @@ -1,56 +0,0 @@ - - - - - - Matita home page - developers - - - -
- Matita Home - Developers - Documentation - Community - Download -
- -

Current team members

- - -

Former members

- - -

Students, developers and contributors

- - - - - - -
- - Valid XHTML 1.0! - - - Valid CSS - -
- - diff --git a/helm/www/matita/developers.shtml b/helm/www/matita/developers.shtml new file mode 100644 index 000000000..f99082eef --- /dev/null +++ b/helm/www/matita/developers.shtml @@ -0,0 +1,34 @@ + + + + Matita home page - developers + + + + +

Current team members

+ + +

Former members

+ + +

Students, developers and contributors

+ + + + diff --git a/helm/www/matita/documentation.html b/helm/www/matita/documentation.html deleted file mode 100644 index 9e6718921..000000000 --- a/helm/www/matita/documentation.html +++ /dev/null @@ -1,19 +0,0 @@ - - - Matita home page - documentation - - - -
- Matita Home - Developers - Documentation - Community - Download -
-

User manual

-

- Please be patient... -

- - diff --git a/helm/www/matita/documentation.shtml b/helm/www/matita/documentation.shtml new file mode 100644 index 000000000..2ab98e1f2 --- /dev/null +++ b/helm/www/matita/documentation.shtml @@ -0,0 +1,15 @@ + + + + Matita home page - documentation + + + + +

User manual

+

+ Please be patient... +

+ + + diff --git a/helm/www/matita/download.html b/helm/www/matita/download.html deleted file mode 100644 index cc30eb49d..000000000 --- a/helm/www/matita/download.html +++ /dev/null @@ -1,25 +0,0 @@ - - - Matita home page - download - - - -
- Matita Home - Developers - Documentation - Community - Download -
-

Sources

-

- Since there is no official release, you can browse the svn repository - and get sources of the ocaml/ - and matita/ - modules. -

- - - diff --git a/helm/www/matita/download.shtml b/helm/www/matita/download.shtml new file mode 100644 index 000000000..86f442d3a --- /dev/null +++ b/helm/www/matita/download.shtml @@ -0,0 +1,20 @@ + + + + Matita home page - download + + + + +

Sources

+

+ Since there is no official release, you can browse the svn repository + and get sources of the ocaml/ + and matita/ + modules. +

+ + + diff --git a/helm/www/matita/index.html b/helm/www/matita/index.html deleted file mode 120000 index afb6ab59b..000000000 --- a/helm/www/matita/index.html +++ /dev/null @@ -1 +0,0 @@ -matita.html \ No newline at end of file diff --git a/helm/www/matita/index.shtml b/helm/www/matita/index.shtml new file mode 120000 index 000000000..2fad15b04 --- /dev/null +++ b/helm/www/matita/index.shtml @@ -0,0 +1 @@ +matita.shtml \ No newline at end of file diff --git a/helm/www/matita/matita.html b/helm/www/matita/matita.shtml similarity index 85% rename from helm/www/matita/matita.html rename to helm/www/matita/matita.shtml index fae7d202a..2bf6a2119 100644 --- a/helm/www/matita/matita.html +++ b/helm/www/matita/matita.shtml @@ -1,3 +1,4 @@ + Matita home page @@ -50,18 +51,18 @@
1. Developers
-
+
2. Documentation
-
+
3. Community
-
+
4. Download
-
+
+ - diff --git a/helm/www/matita/menubar.shtml b/helm/www/matita/menubar.shtml new file mode 100644 index 000000000..1ac5bf563 --- /dev/null +++ b/helm/www/matita/menubar.shtml @@ -0,0 +1,7 @@ +
+ Matita Home + Developers + Documentation + Community + Download +
diff --git a/helm/www/matita/xhtml-header.shtml b/helm/www/matita/xhtml-header.shtml new file mode 100644 index 000000000..e08184734 --- /dev/null +++ b/helm/www/matita/xhtml-header.shtml @@ -0,0 +1,4 @@ + + + -- 2.39.2