DS1307 - displaying month number?

I've using Henning Karlsen's library and I can't seem to find a way to display the month by number. (15/06/2013, in place of 15 June 2013)

http://henningkarlsen.com/electronics/library.php?id=34

I've tried Serial.print(t.month, DEC); but that doesnt exist.

void loop()
{
  // Get data from the DS1307
  t = rtc.getTime();
  
  // Send date over serial connection
  
  Serial.print(t.date, DEC);
  Serial.print("/");
  Serial.print(rtc.getMonthStr());
  Serial.print("/");
  Serial.print(t.year, DEC);
  Serial.print(" ");
  
  // Send Day-of-Week and time
  Serial.print(" ");
  Serial.print(t.hour, DEC);
  Serial.print(":");
  Serial.print(t.min, DEC);
  Serial.print(":");
  Serial.print(t.sec, DEC);
  Serial.println(" ");


  
  // Wait one second before repeating :)
  delay (1000);
}

Is there some format I'm missing?

Weird how this always happens - after I post it I find the answer :slight_smile:

  Serial.print(t.mon, DEC);