diff options
Diffstat (limited to 'doc/html/ddl.html')
-rw-r--r-- | doc/html/ddl.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/doc/html/ddl.html b/doc/html/ddl.html index c16a60c..4f1542f 100644 --- a/doc/html/ddl.html +++ b/doc/html/ddl.html @@ -93,13 +93,13 @@ This section contains a brief explanation of the symbols used in the DDL. <dir> <pre> -<file> ::= HDF5 <file_name> { <file_boot_block><FONT SIZE=1.7>opt</FONT> <root_group> } +<file> ::= HDF5 <file_name> { <file_super_block><FONT SIZE=1.7>opt</FONT> <root_group> } <file_name> ::= <identifier> -<file_boot_block> ::= BOOT_BLOCK { <boot_block_content> } +<file_super_block> ::= BOOT_BLOCK { <super_block_content> } -<boot_block_content> ::= TBD +<super_block_content> ::= TBD <root_group> ::= GROUP "/" { <unamed_datatype>* <object_id><FONT SIZE=1.7>opt</FONT> <group_attribute>* <group_member>* } |