#!/bin/sed -f # Converting a ROCK Linux Homepage .in file to a .html file. # (C) 1999-2003 Clifford Wolf, licensed under the GPL # # Usage: sed -f rock.sed < file.in > file.html # Comments /^#/ { s,<,(,g; s,>,),g; s,^#\(.*\),,; } # HTML Head and Tail # s,]*\)>,,g s,]*\)>,\ \1\ \ \ \ ,g s,,,g s,,,,g s,,\

About ROCK Linux

\

Rolling ROCK

\

Download

\

Community

\

Documentation

\

Source Trees

\

Architectures

\

Target Distributions

\

Feature Project

\

Related Projects

\

PR Stuff (T-Shirts\, ..)

\

Webpage Mirrors

\

The ROCK Portal Site

\

Sitemap

\

Search

,g s,,

\ \

,g s,
,,g # BIG box # s,,,g s,]*\)>,,g s,,,g # Text box # s,,,g s,]*\)>,

\1

,g s,,
,g s,,
,g # Small Helpers # s,]*\)>,,g s,]*\)>,,g s,]*\)>,,g s,]*\)>,

\1

,g s,]*\)>,

\1

,g # s,,
-\ \ ,g # Standard Footers # s,