Yay!
[EMAIL PROTECTED] writes:
> jvanzyl 01/08/26 16:01:46
>
> Added: proposal/gump/dtd profile.dtd repository.dtd workspace.dtd
> Log:
> - start of some dtds, feel free to correct. i'm going to work on
> the project dtd, just get what we have right now.
>
> Revision Changes Path
> 1.1 jakarta-alexandria/proposal/gump/dtd/profile.dtd
>
> Index: profile.dtd
> ===================================================================
> <?xml version="1.0" encoding="ISO-8859-1"?>
>
> <!ELEMENT profile (project*) >
> <!ELEMENT project EMPTY >
>
> <!ATTLIST profile
> name CDATA #IMPLIED >
>
> <!ATTLIST project
> href CDATA #REQUIRED >
>
>
>
> 1.1 jakarta-alexandria/proposal/gump/dtd/repository.dtd
>
> Index: repository.dtd
> ===================================================================
> <?xml version="1.0" encoding="ISO-8859-1"?>
>
> <!ELEMENT repository ( title, home-page, cvsweb, root) >
> <!ELEMENT title ( #PCDATA ) >
> <!ELEMENT home-page ( #PCDATA ) >
> <!ELEMENT cvsweb ( #PCDATA ) >
> <!ELEMENT root ( method, user, hostname, password, path ) >
> <!ELEMENT method ( #PCDATA ) >
> <!ELEMENT user ( #PCDATA ) >
> <!ELEMENT hostname ( #PCDATA ) >
> <!ELEMENT password ( #PCDATA ) >
> <!ELEMENT path ( #PCDATA ) >
>
> <!ATTLIST repository
> name CDATA #REQUIRED >
> type CDATA #REQUIRED >
>
>
>
> 1.1 jakarta-alexandria/proposal/gump/dtd/workspace.dtd
>
> Index: workspace.dtd
> ===================================================================
> <?xml version="1.0" encoding="ISO-8859-1"?>
>
> <!ELEMENT workspace ( profile, (descriptor-dir | work-dir | property )*) >
> <!ELEMENT descriptor-dir ( #PCDATA ) >
> <!ELEMENT work-dir ( #PCDATA ) >
> <!ELEMENT property EMPTY >
> <!ELEMENT profile EMPTY >
>
> <!ATTLIST workspace
> name CDATA #IMPLIED
> basedir CDATA #REQUIRED
> pkgdir CDATA #REQUIRED
> version CDATA #REQUIRED
> logdir CDATA #IMPLIED >
>
> <!ATTLIST property
> name CDATA #REQUIRED
> value CDATA #REQUIRED >
>
> <!ATTLIST profile
> href CDATA #REQUIRED >
---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]
