diff options
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index a97218240b..16f6a0d43e 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -8,6 +8,7 @@ HTMLPAGES = $(PROGS-yes:%=doc/%.html) \ doc/git-howto.html \ doc/libavfilter.html \ doc/platform.html \ + doc/syntax.html \ TXTPAGES = doc/fate.txt \ |