-
David Ward authored
Windows does not allow filenames ending in a period ("."), preventing this git repository from even being checked out on a Windows system. Drop the trailing period in these two filenames. Both files will still be skipped during the build, since they are not included in DESC_FILES or DESC_EXT_FILES in doc/Makefile.am.
732fc8ca