From 80107ea60a40f28c45c3eada3af764da97efaa58 Mon Sep 17 00:00:00 2001 From: Edward Diener Date: Sat, 19 Oct 2019 10:51:40 -0400 Subject: [PATCH] Changed opt to has_opt in header file and HTML --- doc/headers.html | 2 +- doc/headers/variadic.html | 2 +- doc/headers/variadic/{opt.html => has_opt.html} | 8 ++++---- doc/ref.html | 2 +- doc/ref/check_empty.html | 4 ++-- doc/ref/{variadic_opt.html => variadic_has_opt.html} | 10 +++++----- doc/topics/emptiness.html | 2 +- include/boost/preprocessor/facilities/check_empty.hpp | 2 +- .../preprocessor/facilities/is_empty_variadic.hpp | 2 +- include/boost/preprocessor/variadic.hpp | 2 +- .../variadic/detail/{opt.hpp => has_opt.hpp} | 4 ++-- .../preprocessor/variadic/{opt.hpp => has_opt.hpp} | 6 +++--- test/config_info.cpp | 2 +- test/isempty.cxx | 2 +- test/isempty_variadic_standard_failure.cxx | 2 +- test/isempty_variadic_standard_failure2.cxx | 2 +- 16 files changed, 27 insertions(+), 27 deletions(-) rename doc/headers/variadic/{opt.html => has_opt.html} (67%) rename doc/ref/{variadic_opt.html => variadic_has_opt.html} (79%) rename include/boost/preprocessor/variadic/detail/{opt.hpp => has_opt.hpp} (91%) rename include/boost/preprocessor/variadic/{opt.hpp => has_opt.hpp} (86%) diff --git a/doc/headers.html b/doc/headers.html index b26fb96..7728e18 100644 --- a/doc/headers.html +++ b/doc/headers.html @@ -231,7 +231,7 @@
  • variadic.hpp
  • variadic/
  • elem.hpp (v)
    • -
  • opt.hpp
    • +
  • has_opt.hpp
  • size.hpp (v)
  • to_array.hpp (v)
    • diff --git a/doc/headers/variadic.html b/doc/headers/variadic.html index c555e95..3a5e4f4 100644 --- a/doc/headers/variadic.html +++ b/doc/headers/variadic.html @@ -14,7 +14,7 @@

    Includes