diff options
Diffstat (limited to 'doc')
-rw-r--r-- | doc/buildfile | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/doc/buildfile b/doc/buildfile index f4721c9..4b2305e 100644 --- a/doc/buildfile +++ b/doc/buildfile @@ -7,12 +7,6 @@ brep-clean \ brep-load \ brep-migrate -define css: file -css{*}: extension = css - -define xhtml: doc -xhtml{*}: extension = xhtml - ./: {man1 xhtml}{$cmds} \ css{common pre-box man} \ file{man-*} |