Index: doc/user/01_intro/index.html =================================================================== --- doc/user/01_intro/index.html (revision 30707) +++ doc/user/01_intro/index.html (revision 30708) @@ -15,8 +15,8 @@ between formats, running DRC checks, generating previews.