make Makefile more robust and able to handle different documents
authorAmin Bandali <bandali@gnu.org>
Fri, 7 Aug 2020 04:27:10 +0000 (00:27 -0400)
committerAmin Bandali <bandali@gnu.org>
Fri, 7 Aug 2020 04:27:10 +0000 (00:27 -0400)

No differences found