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.