]> git.puffer.fish Git - mirror/frr.git/commit
projects / mirror / frr.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 43932ad) | patch
doc: Fix failing `make doc` 4252/head
authorJuergen Werner <pogojotz@gmx.net>
Fri, 3 May 2019 18:17:08 +0000 (20:17 +0200)
committerJuergen Werner <pogojotz@gmx.net>
Fri, 3 May 2019 18:17:08 +0000 (20:17 +0200)
commit54e53978fcaf8634886aa05e9a89e6316f86b43d
treec49c12b68e5800387eb5e336c3d613db55394bc0tree | snapshot
parent43932ad63c162faca22a29cd18ceb46d9bae5ed4commit | diff
doc: Fix failing `make doc`

This build system bug was introduced with 9251d1f596.

Signed-off-by: Juergen Werner <pogojotz@gmx.net>
doc/developer/subdir.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.