Here is an improved version of a fix. The only difference is to use the macro for the major version number in the install-info removal command. Will be easier to maintain in the future.
Here is an improved version of a fix. The only difference is to use the macro for the major version number in the install-info removal command. Will be easier to maintain in the future.