From 5d210605c8ef376fdf13cd1fb9ffd29ce63edff9 Mon Sep 17 00:00:00 2001 From: Nick Touran Date: Tue, 21 Sep 2021 11:46:08 -0700 Subject: [PATCH] Added extension to profiling instructions (#419) The profiling page wasn't getting added to the doc build because it didn't have the right extension. This fixes it so now it will be included in the doc build. --- doc/developer/{profiling => profiling.rst} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename doc/developer/{profiling => profiling.rst} (100%) diff --git a/doc/developer/profiling b/doc/developer/profiling.rst similarity index 100% rename from doc/developer/profiling rename to doc/developer/profiling.rst