Revision 32e37232fa006e4d0acbe0e55b861fb791abd725 authored by Laurent Bartholdi on 30 June 2015, 18:44:51 UTC, committed by Laurent Bartholdi on 30 June 2015, 18:44:51 UTC
1 parent 4d09687
makedoc.g
LoadPackage( "AutoDoc" );
AutoDoc( "4ti2Interface" : scaffold := true );
PrintTo( "VERSION", PackageInfo( "4ti2Interface" )[1].Version );
QUIT;
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...