diff --git a/asdf.texinfo b/asdf.texinfo index 144f2caf23a7f3840c1aad8ca2a09af3b07e35bf..34d059c3c05cf6c814dc486b37ae4342836c8d39 100644 --- a/asdf.texinfo +++ b/asdf.texinfo @@ -463,8 +463,7 @@ option := :components component-list component-list := ( {component-def}* ) -component-def := simple-component-name - | ( component-type name {option}* ) +component-def := ( component-type name {option}* ) component-type := :module | :file | :system | other-component-type