Did you know ... Search Documentation:
GIT commit info
Update building the documentation
authorJan Wielemaker
Mon Oct 29 20:52:26 2018 +0100
committerWiki manager
Mon Oct 29 20:52:26 2018 +0100
commit1d0da466970c3b7d1f2fb25afb6eac92887ec6d2
treef17a854a59ac5143856c14270461a8eda1578dee
parent624231bf051d413a137912131a3ac0f8f806dc0b
Diff style: stat patch
 build/Debian.txt | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)