diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2017-08-22 09:50:06 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2017-08-22 09:50:06 -0700 |
| commit | 8a92572df505eab170912e082e085301e7fecddd (patch) | |
| tree | 9db133bf1f048de9f146dfabda21c1736510e01e /update_html | |
| parent | fc97f6670d3094f1a5f213ec3a3f7134a14ddadd (diff) | |
| download | mu-8a92572df505eab170912e082e085301e7fecddd.tar.gz | |
3983
Diffstat (limited to 'update_html')
| -rwxr-xr-x | update_html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_html b/update_html index dc91660d..024b2ddb 100755 --- a/update_html +++ b/update_html @@ -65,7 +65,7 @@ process() { for f in [a-zA-Z]*.mu do - rm html/$f.html + rm -f html/$f.html process $f ctags -x [0-9]*.mu $f > /tmp/tags linkify/linkify /tmp/tags html/$f.html |