Implement an option to show dependencies between modules only#140

Open

MSoegtropIMC wants to merge 2 commits intorocq-community:coq-masterfrom

MSoegtropIMC:modules-only

Commits on Jan 15, 2025

Update configure.ac to not create warnings with newer auto tools
MSoegtropIMC
committed
Implemented option to show dependencies between modules only
MSoegtropIMC
committed