---

DONE Revert INFO buffer upon new INFO file being generated

• State “INPROGRESS” from “TODO” [2020-09-21 Mon 07:56]
  Starting work on this TODO.
• State “TODO” from [2020-09-21 Mon 07:54]
  After an INFO file is opened in Emacs as an INFO program, and a change is made to the ORG file, and a new INFO file is generated, the old INFO buffer is simply opened again; it must be manually reverted. Have the Makefile revert it if it exists instead.