analysis icon indicating copy to clipboard operation
analysis copied to clipboard
verified publisher icon math-comp

use of deprecated options of Rocqnavi to generate the documentation

Open affeldt-aist opened this issue 1 month ago • 0 comments

https://github.com/math-comp/analysis/blob/86c655f6fa0a3db3f9638fff6da2ad39fb3937d6/Makefile.common#L121

Warning: DEPRECATED: Use `-file-graph`
Warning: DEPRECATED: Use `-structure-graph`

@yoshihiro503

affeldt-aist avatar Nov 07 '25 04:11 affeldt-aist