replace_extension (3) Linux Manual Page
replace_extension – Replaces filename+extension with a new extension tail. Allegro game programming library. Synopsis #include <allegro.h> char *replace_extension(char *dest, const char *filename, const char *ext, int size); Description Replaces the specified filename+extension with a new extension tail, storing at most `size’ bytes into the `dest’ buffer. If the filename doesn’t have any extension at all,…
