// invalidate any other reasons why the executable file might be covered by
// the GNU General Public License.
-//
-// ISO C++ 14882: 20.5 Date and time
-//
-
-/** @file ctime
+/** @file include/ctime
* This is a Standard C++ Library file. You should @c #include this file
* in your programs, rather than any of the "*.h" implementation files.
*
* as macros in C).
*/
+//
+// ISO C++ 14882: 20.5 Date and time
+//
+
#ifndef _GLIBCXX_CTIME
#define _GLIBCXX_CTIME 1