Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
2967e3f6
Commit
2967e3f6
authored
Jul 10, 2007
by
Pietro Abate
Browse files
[r2005-07-05 14:30:36 by afrisch] Header
Original author: afrisch Date: 2005-07-05 14:30:36+00:00
parent
f78fdfa9
Changes
3
Hide whitespace changes
Inline
Side-by-side
web/site.cd
View file @
2967e3f6
...
...
@@ -28,7 +28,10 @@ let load_include (Latin1 -> [Any*])
(* Loading *)
let [
<site>
[
<title>
site (
<footer>
footer | /(footer:=[])) main_page ] ] =
let [
<site>
[
<title>
site
(
<header>
header | /(header:=[]))
(
<footer>
footer | /(footer:=[]))
main_page ] ] =
try (load_include input :? [ Site ])
with err
&
Latin1 ->
print ['Invalid input document:\n' !err '\n'];
...
...
@@ -262,16 +265,7 @@ match page with
<
page
name
=
name
leftbar
=
"
false
"
&
(
leftbar
:
=
`false) else (leftbar:=`
true
)
..
>
[
(
<
title
>
title
<
banner
>
banner
|
<
title
>
(
title
&
banner
))
items
::
_
*
]
->
let
items
=
[
<
meta
>
[
<
p
>
[
<
a
href
=
"
cgi-bin/cduce
"
>
"
Online Interpreter
"
'
-
'
<
a
href
=
"
documentation.html
"
>
"
Documentation
"'
-
'
<
a
href
=
"
download.html
"
>
"
Download
"'
-
'
<
a
href
=
"
demo.html
"
>
"
Demo
"'
-
'
<
a
href
=
"
mailing.html
"
>
"
Support
"
]]]
@
items
@
footer
in
let
items
=
header
@
items
@
footer
in
let
footnote_counter
=
ref
Int
0
in
let
footnotes
=
ref
H
.
Flow
[]
in
...
...
web/site.xml
View file @
2967e3f6
<?xml version="1.0" encoding="ISO-8859-1" standalone="yes"?>
<site>
<title>
CDuce
</title>
<header>
<meta>
<p>
<local
href=
"proto"
/>
-
<local
href=
"documentation"
/>
-
<local
href=
"download"
/>
-
<local
href=
"demo"
/>
-
<local
href=
"mailing"
/>
</p>
</meta>
</header>
<footer>
<meta>
<p>
...
...
web/siteTypes.cd
View file @
2967e3f6
...
...
@@ -2,7 +2,8 @@
using H = "xhtml"
type Site = <site>[ <title>String Footer? Page ]
type Site = <site>[ <title>String Header? Footer? Page ]
type Header = <header>[ Item* ]
type Footer = <footer>[ Item* ]
type Page = <page name=Latin1 url=?String new=?"" leftbar=?("true"|"false")>[ <title>String <banner>[InlineText*]? Item* ]
type External = <external href=String title=String name=String>[]
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment