diff options
Diffstat (limited to 'docs/Makefile')
-rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 72b3c0b488..b26738c961 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -128,7 +128,7 @@ html/hypercall/index.html: ./xen-headers $(INSTALL_DIR) $(@D) ./xen-headers -O $(@D) \ -T 'arch-x86_64 - Xen public headers' \ - -X arch-ia64 -X arch-x86_32 -X xen-x86_32 -X arch-arm \ + -X arch-x86_32 -X xen-x86_32 -X arch-arm \ ../xen include/public include/xen/errno.h -include html/hypercall/.deps |