diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-10-02 01:21:01 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-10-02 01:21:32 -0700 |
commit | 5a2cb154eb016aa8b84ad939f63eb56dd7a0a90f (patch) | |
tree | 61701a7d8ec8bba5d9b7d5fc2d2e1496b74c5a0c /update_html | |
parent | 29ab43973a2e9822d84b564e314b4af5c58c4684 (diff) | |
download | mu-5a2cb154eb016aa8b84ad939f63eb56dd7a0a90f.tar.gz |
4649
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 4e618410..a1a04a17 100755 --- a/update_html +++ b/update_html @@ -81,7 +81,7 @@ do done echo > /tmp/tags -for f in subx/examples/*.subx subx/apps/*.subx +for f in subx/*.subx subx/examples/*.subx subx/apps/*.subx do process $f done |