DrJava Legacy SVN Repository

A lightweight programming environment for Java

Brought to you by: camus546, csreis, dlsmith, eallen, and 6 others

Commit [r5130] Maximize Restore History

Fixes badly scaled images in PDF files after attempting

to fix bug 2892129: Squished Images in Included Documentation

We now ignore image scaling in HTML according to
http://www.sagehill.net/docbookxsl/ImageSizing.html#DiffImageSizes
and
http://www.sagehill.net/docbookxsl/Parameters.html#ParameterSyntax

M drjava/lib/docs.jar
M docs/src/quickstart/quickstart.docbook
M docs/src/user/userdoc.docbook
M docs/build.xml

Authored by: mgricken 2009-11-06

Browse code at this revision

Parent: [r5129]

Child: [r5131]

changed	/trunk/docs/build.xml
changed	/trunk/docs/src/quickstart/quickstart.docbook
changed	/trunk/docs/src/user/userdoc.docbook
changed	/trunk/drjava/lib/docs.jar

/trunk/docs/build.xml Diff Switch to side-by-side view

/trunk/docs/src/quickstart/quickstart.docbook Diff Switch to side-by-side view

/trunk/docs/src/user/userdoc.docbook Diff Switch to side-by-side view

/trunk/drjava/lib/docs.jar

Binary file was changed.