X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=drv%2Ftimer.h;h=07147416e1eaaf9f831b702aa737b1dd18abc0d4;hb=75afc1af2ed7408319fef569d1e3b63a56e769c3;hp=12f74b3fd9cb6f8ddfa77a37490bfe5c695f7a5b;hpb=5b4790e4b13918cf96063eac79dba2325eda3a5e;p=bertos.git

diff --git a/drv/timer.h b/drv/timer.h
index 12f74b3f..07147416 100755
--- a/drv/timer.h
+++ b/drv/timer.h
@@ -15,6 +15,10 @@
 
 /*
  * $Log$
+ * Revision 1.12  2004/07/30 14:34:10  rasky
+ * Vari fix per documentazione e commenti
+ * Aggiunte PP_CATn e STATIC_ASSERT
+ *
  * Revision 1.11  2004/07/29 22:40:12  bernie
  * Spelling fix.
  *
@@ -54,6 +58,7 @@
 
 #include "cpu.h"
 #include "compiler.h"
+#include <config.h>
 #include <mware/list.h>
 
 /*! Number of timer ticks per second. */
@@ -128,14 +133,14 @@ extern volatile time_t _clock;
  *
  * The following code is safe:
  *
- * \example
+ * \code
  *   time_t tea_start_time = get_tick();
  *
  *   boil_water();
  *
  *   if (get_tick() - tea_start_time > TEAPOT_DELAY)
  *       printf("Your tea, Sir.\n");
- * \endexample
+ * \endcode
  *
  * When the tick counter increments every millisecond and time_t
  * is 32bit wide, the tick count will overflow every 49.7 days.