TheCloud/Digital
1
0
Fork 0
mirror of https://github.com/hneemann/Digital.git synced 2025-09-14 15:26:52 -04:00
Code Issues Packages Projects Releases Wiki Activity

renamed online distributed documentation

Browse Source
This commit is contained in:
hneemann 2018-03-11 10:11:44 +01:00
parent 8c6770295f
commit 51e7780398
2 changed files with 17 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.travis.yml
View File

@ -9,8 +9,8 @@ deploy:
secure: jhBDJzb7WKIAHIrRqHBVfckMpn/gRwMaLgT2dswjCzn2UAevmzHYfYO4nWN1pUbkkMMc16nYK5mdGat5scD/+z7lc5WcycX1CzNyyUFxLO7McAfE0uBYcST0Asi0QILwa/WbsswYtzO0UsrlgR8y55HhMefaNBgZemBvB0E3ArfdBQVdLLwyoF0KM2SHigH9s+/VcmrdwC/23PSg/qJSKjNGJKNj835aI+VMJg3Zx0v9nDiXeU7YX3DmZSLrLlwQEa95qDM03buNQTVXEvmafm+eip5Cdze6/ZEAvIYMS/zt9XYJDxRlwB26u4uTvurRgZGMM+gxzzE4UJRcObwboGMQGiiPuRedv6xBGQWXEiFGqUdB5rS+FxZKLiCZUgDRYwL7MHi0blskRuQ0AWdcI0DEvzlwZBMQHSf8Pvc/VSKYYulIvIUQF2RbYmWp4sfkT0A0aTrrHxxZEicsRtslt05G7H2CMc961ZEP57Nsb58sApxxTnHguX3cKQi/kdHjm4vV9zsRgsTIe1xSCXfwMk7wC3we+1GCF1sX0JFxAhYGKX5SvxVO7ioPUOVW3pptkFxGkffBpEYElskBnv8A863EHzXCMHLqglQHHTY7CK2DOEdQFrnpj8M57GSkt4D0tjIumU8UGSNAogzhomuUoxEoCSdFoK4s7TGv8T95Fqw=
file:
- target/Digital.zip
- target/docu/Documentation_en.pdf
- target/docu/Documentation_de.pdf
- target/docuDist/Doc_English.pdf
- target/docuDist/Doc_Deutsch.pdf
skip_cleanup: true
on:
tags: true

15
src/test/java/de/neemann/digital/docu/DocuTest.java
View File

@ -270,9 +270,11 @@ public class DocuTest extends TestCase {
File maven = Resources.getRoot().getParentFile().getParentFile().getParentFile();
File target = new File(maven, "target/docu");
File target2 = new File(maven, "target/docuDist");
File images = new File(target, "img");
images.mkdirs();
target2.mkdirs();
final File library = new File(target, "library.xml");
write74xx(library);
@ -295,6 +297,19 @@ public class DocuTest extends TestCase {
// write pdf
File pdf = new File(target, basename + ".pdf");
startFOP(fopFactory, xslFO, pdf);
copy(pdf, new File(target2, "Doc_" + l + ".pdf"));
}
}
private void copy(File source, File dest) throws IOException {
try (InputStream in = new FileInputStream(source)) {
try (OutputStream out = new FileOutputStream(dest)) {
byte[] buffer = new byte[4096];
int len;
while ((len = in.read(buffer)) >= 0)
out.write(buffer, 0, len);
}
}
}