lady.corvus questions

• In Coq is it necessary to add the current directory to the load path to access compiled files there for imports or exports?
• Is it possible to automatically have the last updated date on my website changed to the current date whenever I push changes to GitHub?

lady.corvus answers