no such file error for a file that was not included ??

working on a project and I tried to include a file. an error code came up with a no such file for a file that wasn’t called… unless im missing something (I’ve been know to do that)

this code was straight from git hub and I haven’t modified it in any way.

// Arduino DS3232RTC Library
// https://github.com/JChristensen/DS3232RTC
//
// Example sketch illustrating Time library with Real Time Clock.
// This example is identical to the example provided with the Time Library,
// only the #include statement has been changed to include the DS3232RTC library.

#include <DS3232RTC.h>      // https://github.com/JChristensen/DS3232RTC

void setup()
{
    Serial.begin(9600);
    setSyncProvider(RTC.get);   // the function to get the time from the RTC
    if(timeStatus() != timeSet)
        Serial.println("Unable to sync with the RTC");
    else
        Serial.println("RTC has set the system time");
}

void loop()
{
    digitalClockDisplay();
    delay(1000);
}

void digitalClockDisplay()
{
    // digital clock display of the time
    Serial.print(hour());
    printDigits(minute());
    printDigits(second());
    Serial.print(' ');
    Serial.print(day());
    Serial.print(' ');
    Serial.print(month());
    Serial.print(' ');
    Serial.print(year());
    Serial.println();
}

void printDigits(int digits)
{
    // utility function for digital clock display: prints preceding colon and leading 0
    Serial.print(':');
    if(digits < 10)
        Serial.print('0');
    Serial.print(digits);
}

Error code

Arduino: 1.8.5 (Windows 10), TD: 1.41, Board: "Arduino Mini, ATmega328P"

In file included from F:\Arduino\libraries\DS3232RTC-master\examples\TimeRTC\TimeRTC.ino:8:0:

F:\Arduino\libraries\DS3232RTC-master\src/DS3232RTC.h:25:70: fatal error: TimeLib.h: No such file or directory

 #include <TimeLib.h>        // https://github.com/PaulStoffregen/Time

                                                                      ^

compilation terminated.

exit status 1
Error compiling for board Arduino Mini.

This report would have more information with
"Show verbose output during compilation"
option enabled in File -> Preferences.

(deleted)

downloaded the files to Fdrive > Arduino > libraries then extracted to the same location

(deleted)

seemed to do it.... thank you

(deleted)

no such file error for a file that was not included ??

You did not #include the library but the DS3232RTC library tried to