Check the documentation for the supported powerpc64

PowerPC 64bit Little Endian is the main development target currently.

Author: lu-zero

ci/dox.sh

@@ -41,7 +41,7 @@ dox x86_64 x86_64-unknown-linux-gnu
 dox arm armv7-unknown-linux-gnueabihf
 dox aarch64 aarch64-unknown-linux-gnu
 dox powerpc powerpc-unknown-linux-gnu
-dox powerpc64 powerpc64-unknown-linux-gnu
+dox powerpc64le powerpc64le-unknown-linux-gnu
 dox mips mips-unknown-linux-gnu
 dox mips64 mips64-unknown-linux-gnuabi64