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 92ecb20e8f..ace60bacda 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -159,7 +159,7 @@ html/hypercall/stamp: ./xen-headers -O $(@D) \ -T 'arch-x86_64 - Xen public headers' \ -X arch-ia64 -X arch-x86_32 -X xen-x86_32 \ - ../xen include/public + ../xen include/public include/xen/errno.h touch $@ txt/%.txt: %.txt |