| <!-- | |
| WARNING: This file was generated with bst2html.py | |
| --> | |
| <div class="highlight" style="font-size:x-small"><pre> | |
| <span style="color:#C4A000;font-weight:bold">user@host</span>:<span style="color:#3456A4;font-weight:bold">~/developing</span>$ bst workspace list | |
| workspaces: | |
| - element: hello.bst | |
| directory: /home/developing/workspace_hello | |
| </pre></div> |