diff --git a/docs/doxygen/Doxymain.md b/docs/doxygen/Doxymain.md index 05f65f24d4..7c715ff69b 100644 --- a/docs/doxygen/Doxymain.md +++ b/docs/doxygen/Doxymain.md @@ -1,4 +1,4 @@ -# %P4 Compiler Documentation +# %P4 Compiler Documentation for simpler tag check @htmlonly