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
Raw File
makedoc.g
LoadPackage( "AutoDoc" );

AutoDoc( "4ti2Interface" : scaffold := true );

PrintTo( "VERSION", PackageInfo( "4ti2Interface" )[1].Version );

QUIT;
back to top