From fb546b41c12ab771650532d46bafce87633fbfd0 Mon Sep 17 00:00:00 2001 From: Michael Davidsaver Date: Thu, 18 Oct 2018 15:44:46 -0700 Subject: [PATCH] rename documentation/*.h -> .dox --- documentation/Doxyfile | 4 ++-- documentation/{mainpage.h => mainpage.dox} | 0 documentation/{release_notes.h => release_notes.dox} | 0 3 files changed, 2 insertions(+), 2 deletions(-) rename documentation/{mainpage.h => mainpage.dox} (100%) rename documentation/{release_notes.h => release_notes.dox} (100%) diff --git a/documentation/Doxyfile b/documentation/Doxyfile index e11389c..b96c6d3 100644 --- a/documentation/Doxyfile +++ b/documentation/Doxyfile @@ -764,11 +764,11 @@ WARN_LOGFILE = # Note: If this tag is empty the current directory is searched. INPUT = ../src/pv \ - ./mainpage.h \ + ./mainpage.dox \ ../src/copy/pv \ ../src/misc/pv \ ../src/json/pv \ - ./release_notes.h + ./release_notes.dox # This tag can be used to specify the character encoding of the source files # that doxygen parses. Internally doxygen uses the UTF-8 encoding. Doxygen uses diff --git a/documentation/mainpage.h b/documentation/mainpage.dox similarity index 100% rename from documentation/mainpage.h rename to documentation/mainpage.dox diff --git a/documentation/release_notes.h b/documentation/release_notes.dox similarity index 100% rename from documentation/release_notes.h rename to documentation/release_notes.dox