diff options
-rw-r--r-- | docs/ChangeLog | 5 | ||||
-rw-r--r-- | docs/mono-file-formats.source | 3 | ||||
-rw-r--r-- | docs/mono-tools.source | 3 |
3 files changed, 7 insertions, 4 deletions
diff --git a/docs/ChangeLog b/docs/ChangeLog index 113b62ba7e9..34464568c67 100644 --- a/docs/ChangeLog +++ b/docs/ChangeLog @@ -1,3 +1,8 @@ +2008-12-08 Jonathan Pryor <jpryor@novell.com> + + * mono-file-formats.source, mono-tools.source: Place these under the + new "Commands and Files" node, and remove nay intermediate nodes. + 2008-11-20 Jonathan Pryor <jpryor@novell.com> * Makefile.am (sources_DATA): Add mono-file-formats.source, diff --git a/docs/mono-file-formats.source b/docs/mono-file-formats.source index 40d94f9e824..83b8cac08d2 100644 --- a/docs/mono-file-formats.source +++ b/docs/mono-file-formats.source @@ -1,5 +1,4 @@ <?xml version="1.0"?> <monodoc> - <node label="Mono File Formats" name="mono-formats" parent="formats" /> - <source provider="man" basefile="mono-file-formats" path="mono-formats"/> + <source provider="man" basefile="mono-file-formats" path="man"/> </monodoc> diff --git a/docs/mono-tools.source b/docs/mono-tools.source index e545ef17a84..37f4b44ca44 100644 --- a/docs/mono-tools.source +++ b/docs/mono-tools.source @@ -1,5 +1,4 @@ <?xml version="1.0"?> <monodoc> - <node label="Mono Development Tools" name="dev-tools" parent="tools" /> - <source provider="man" basefile="mono-tools" path="dev-tools"/> + <source provider="man" basefile="mono-tools" path="man"/> </monodoc> |