Fix doc links. (#2750)

This commit is contained in:
Abhishek Arya 2019-08-22 11:33:39 -07:00 committed by GitHub
parent 7db0b45f41
commit 0c9b5c5e2c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
6 changed files with 6 additions and 6 deletions

View File

@ -3,7 +3,7 @@ layout: default
title: Code coverage
parent: Advanced topics
nav_order: 2
permalink: /advanced-topics/code-coverage
permalink: /advanced-topics/code-coverage/
---
# Code Coverage

View File

@ -3,7 +3,7 @@ layout: default
title: Corpora
parent: Advanced topics
nav_order: 3
permalink: /advanced-topics/corpora
permalink: /advanced-topics/corpora/
---
# Accessing Corpora

View File

@ -3,7 +3,7 @@ layout: default
title: Debugging
parent: Advanced topics
nav_order: 4
permalink: /advanced-topics/debugging
permalink: /advanced-topics/debugging/
---
# Debugging issues

View File

@ -3,7 +3,7 @@ layout: default
title: Ideal integration
parent: Advanced topics
nav_order: 1
permalink: /advanced-topics/ideal-integration
permalink: /advanced-topics/ideal-integration/
---
# Ideal integration with OSS-Fuzz

View File

@ -3,7 +3,7 @@ layout: default
title: Reproducing
parent: Advanced topics
nav_order: 5
permalink: /advanced-topics/reproducing
permalink: /advanced-topics/reproducing/
---
# Reproducing OSS-Fuzz issues

View File

@ -2,7 +2,7 @@
layout: default
title: Useful links
nav_order: 2
permalink: /reference/useful-links
permalink: /reference/useful-links/
parent: Reference
---