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)
commitd3eead2471b3ff4e93581687961f28b0476535f1
tree2a99f0f5c9c93b18bcb598b41e29073266dafc1a
parent88457a3748dc603b777fd6d542ba85c511f3377e
make Makefile more robust and able to handle different documents
.gitignore
Makefile