var md_GaudiRelease_doc_manual_Manual =
[
    [ "Build System", "guide-build-system.html", "guide-build-system" ],
    [ "Gaudi Plugin Service Instructions", "GaudiPluginService-readme.html", null ],
    [ "MetaData service for self-descriptive n-tuples", "MetaDataSvc-readme.html", null ],
    [ "Profiling Tools", "profiling_tools.html", "profiling_tools" ],
    [ "Procedure to Release Gaudi", "release-procedure.html", null ]
];