diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/Makefile | 14 |
1 files changed, 2 insertions, 12 deletions
diff --git a/docs/users_guide/Makefile b/docs/users_guide/Makefile index 86504b361c..603a670662 100644 --- a/docs/users_guide/Makefile +++ b/docs/users_guide/Makefile @@ -1,13 +1,3 @@ +dir = docs/users_guide TOP = ../.. -include $(TOP)/mk/boilerplate.mk - -XML_DOC = users_guide -INSTALL_XML_DOC = users_guide - -include $(TOP)/mk/bindist.mk - -include $(TOP)/mk/target.mk - -html:: - cp prof_scc.png users_guide/ - +include $(TOP)/mk/sub-makefile.mk |