diff options
| author | John Ericson <John.Ericson@Obsidian.Systems> | 2023-03-31 23:18:41 -0400 |
|---|---|---|
| committer | John Ericson <John.Ericson@Obsidian.Systems> | 2023-03-31 23:19:44 -0400 |
| commit | f4ab297b3185ca4214cfa83bbd4b8f0039b6fadf (patch) | |
| tree | 0fa291d5a9197244adedfa49cd954fa537c78a99 /src/libmain | |
| parent | abd5e7dec039386628223f886b33047734172c8d (diff) | |
Ensure all headers have `#pragma once` and are in API docs
`///@file` makes them show up in the internal API dos. A tiny few were
missing `#pragma once`.
Diffstat (limited to 'src/libmain')
| -rw-r--r-- | src/libmain/common-args.hh | 1 | ||||
| -rw-r--r-- | src/libmain/loggers.hh | 1 | ||||
| -rw-r--r-- | src/libmain/progress-bar.hh | 1 | ||||
| -rw-r--r-- | src/libmain/shared.hh | 1 |
4 files changed, 4 insertions, 0 deletions
diff --git a/src/libmain/common-args.hh b/src/libmain/common-args.hh index f180d83ce..e7ed0d934 100644 --- a/src/libmain/common-args.hh +++ b/src/libmain/common-args.hh @@ -1,4 +1,5 @@ #pragma once +///@file #include "args.hh" diff --git a/src/libmain/loggers.hh b/src/libmain/loggers.hh index f3c759193..e5721420c 100644 --- a/src/libmain/loggers.hh +++ b/src/libmain/loggers.hh @@ -1,4 +1,5 @@ #pragma once +///@file #include "types.hh" diff --git a/src/libmain/progress-bar.hh b/src/libmain/progress-bar.hh index 3a76f8448..c3c6e3833 100644 --- a/src/libmain/progress-bar.hh +++ b/src/libmain/progress-bar.hh @@ -1,4 +1,5 @@ #pragma once +///@file #include "logging.hh" diff --git a/src/libmain/shared.hh b/src/libmain/shared.hh index 1715374a6..d915a4a65 100644 --- a/src/libmain/shared.hh +++ b/src/libmain/shared.hh @@ -1,4 +1,5 @@ #pragma once +///@file #include "util.hh" #include "args.hh" |