Make documentation build works outside of git repository
authorJean Baptiste Favre <debian@jbfavre.org>
Sat, 13 Apr 2024 09:54:31 +0000 (11:54 +0200)
committerJean Baptiste Favre <debian@jbfavre.org>
Sat, 13 Apr 2024 09:54:31 +0000 (11:54 +0200)
commita871583887dcddcb872accbca6c407e086400cbb
tree4cf158670ecbcf33c57c5e418d690fa3e2c96707
parent40070ca3f6b8cbc0d5bd4e5302fa6de86bd539f5
Make documentation build works outside of git repository

Origin: other
Last-Update: 2019-01-03

Current documentation build requires git and curl to get some stuff from the internet
This patch aims to delete those dependencies, forcing git branch to master,
and using Debian provided plantuml instead of downloading it from apache mirror
Last-Update: 2019-01-03
Gbp-Pq: Name 0006-fix-doc-build.patch
doc/Makefile.am
doc/ext/traffic-server.py
doc/uml/Makefile.am