mirror of
git://projects.qi-hardware.com/ben-wpan.git
synced 2024-12-23 09:12:04 +02:00
a3aac7e80b
- scripts/schhist2web: changed cache and output directory structure from $dir/$type_$commit/$file to $dir/$commit/$type/$file - scripts/schhist2web: renamed directory types as follows: "ppm" to "ppm1", "fat" to "ppm2", and "hard" to "ppm0" - scripts/schhist2web: replaced `basename $x` with ${x##*/} wherever this makes sense - scripts/schhist2web: use {a,b,...} where is makes things clearer - scripts/schhist2web: changed ... \\n || exit to ... ||\n exit - scripts/schhist2web: symlinking of unchanged files was only done for "ppm" (now "ppm1") and "fat" (now "ppm2"), not for "ppm2" and "ps" - scripts/schhist2web: composition of path names in the output generator is now more systematic and avoids ad hoc compositions - scripts/schhist2web: mkdir -p "$out/pdf_$next" at the beginning, not each time we write a PDF |
||
---|---|---|
.. | ||
ppmdiff | ||
dsv | ||
fpd2pdf | ||
gitenealogy | ||
gitsch2ps | ||
Makefile | ||
normalizeschps | ||
sanitize-profile | ||
schhist2web | ||
schps2pdf | ||
schps2ppm |