diff docbook-update-source-data.xsl @ 35:2a8298bafec2

Try to use $HOME for the user's home directory
author Guido Berhoerster <guido+pwm@berhoerster.name>
date Tue, 06 Aug 2019 11:21:04 +0200
parents 55281f14dc9b
children
line wrap: on
line diff