diff options
Diffstat (limited to 'doc/SystemTap_Beginners_Guide/publican.cfg.in')
| -rw-r--r-- | doc/SystemTap_Beginners_Guide/publican.cfg.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/SystemTap_Beginners_Guide/publican.cfg.in b/doc/SystemTap_Beginners_Guide/publican.cfg.in new file mode 100644 index 00000000..d6cbacde --- /dev/null +++ b/doc/SystemTap_Beginners_Guide/publican.cfg.in @@ -0,0 +1,5 @@ +debug: 0 +xml_lang: en-US +brand: @PUBLICAN_BRAND@ +condition: @PUBLICAN_BRAND@ +tmp_dir: build |