diff --git a/doc/makehtml b/doc/makehtml index 1b8caed696..2e164eee49 100755 --- a/doc/makehtml +++ b/doc/makehtml @@ -14,4 +14,4 @@ then exit 1 fi -make htmlgen && ./htmlgen < $TXT > $HTML +make && ./htmlgen < $TXT > $HTML