diff options
Diffstat (limited to 'doc/BeginnersGuide/Makefile')
-rw-r--r-- | doc/BeginnersGuide/Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/doc/BeginnersGuide/Makefile b/doc/BeginnersGuide/Makefile deleted file mode 100644 index 0d8b4546..00000000 --- a/doc/BeginnersGuide/Makefile +++ /dev/null @@ -1,11 +0,0 @@ -#Makefile for SystemTap_Beginners_Guide - -XML_LANG = en-US - -BRAND = RedHat - -#OTHER_LANGS = as-IN bn-IN de-DE es-ES fr-FR gu-IN hi-IN it-IT ja-JP kn-IN ko-KR ml-IN mr-IN or-IN pa-IN pt-BR ru-RU si-LK ta-IN te-IN zh-CN zh-TW - -COMMON_CONFIG = /usr/share/publican -include $(COMMON_CONFIG)/make/Makefile.common - |