mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-12-05 15:15:44 +00:00
Disabled building PDF by default.
This commit is contained in:
@@ -6,7 +6,7 @@ include Make.config
|
|||||||
|
|
||||||
BASEDIR=$(shell pwd)
|
BASEDIR=$(shell pwd)
|
||||||
|
|
||||||
all: env info html ps pdf
|
all: env info html ps #pdf
|
||||||
# find $(WWW_INSTALL) -type f | xargs -e chmod 444
|
# find $(WWW_INSTALL) -type f | xargs -e chmod 444
|
||||||
# find $(WWW_INSTALL) -type d | xargs -e chmod 555
|
# find $(WWW_INSTALL) -type d | xargs -e chmod 555
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user