diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-11 22:38:46 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-11 22:38:46 -0700 |
| commit | f7df4efc77b838e7bea1c6b6e0d2d082175bdbd4 (patch) | |
| tree | 6ab8e1217534a44302e0a757d8322d05d9e984a9 /update_html | |
| parent | 8be0a01c8b56638e655ac913e95c8494f6017cda (diff) | |
| download | mu-f7df4efc77b838e7bea1c6b6e0d2d082175bdbd4.tar.gz | |
3496
Diffstat (limited to 'update_html')
| -rwxr-xr-x | update_html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/update_html b/update_html index 4f99fac9..4d94fc8f 100755 --- a/update_html +++ b/update_html @@ -1,7 +1,7 @@ -#!/usr/bin/env zsh +#!/bin/bash # Regenerate html files. -rm html/**/*.html +rm html/*.html html/edit/*.html process() { vim -c TOhtml -c write -c qall $1 |