diff options
Diffstat (limited to 'third_party/build/Makefile')
| -rw-r--r-- | third_party/build/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/third_party/build/Makefile b/third_party/build/Makefile index 73d6ab2d..36d80612 100644 --- a/third_party/build/Makefile +++ b/third_party/build/Makefile @@ -12,3 +12,5 @@ all clean dep depend distclean realclean: fi; \ done +doc: + |