diff options
| author | Luca Barbato <lu_zero@gentoo.org> | 2011-12-03 21:25:04 +0100 |
|---|---|---|
| committer | Luca Barbato <lu_zero@gentoo.org> | 2011-12-09 18:26:31 +0100 |
| commit | 1de6e14efe1f3966023ad1121a6ce3fcbbb1b573 (patch) | |
| tree | a4a57f3cd3dec89366f243700b069dd9bb57c47e /doc/Makefile | |
| parent | 2f017d979154001e7944668447320c9f07324726 (diff) | |
doc: split platform specific information
Move the platform-specific information in its own file.
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 3ff4417cfb..0acd9844af 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -7,6 +7,7 @@ HTMLPAGES = $(PROGS-yes:%=doc/%.html) \ doc/general.html \ doc/git-howto.html \ doc/libavfilter.html \ + doc/platform.html \ DOCS = $(HTMLPAGES) $(MANPAGES) $(PODPAGES) |