Avoid trouble with shabang in docs/munge.sed
This commit is contained in:
parent
492fe0e440
commit
0124bbfb11
@ -13,7 +13,7 @@ $(SRC).ps: $(SRC).dvi
|
|||||||
html: $(SRC).tex
|
html: $(SRC).tex
|
||||||
tex2page $(SRC)
|
tex2page $(SRC)
|
||||||
tex2page $(SRC)
|
tex2page $(SRC)
|
||||||
./munge.sed < $(SRC)/$(SRC).html > tmp.out
|
sed -f munge.sed < $(SRC)/$(SRC).html > tmp.out
|
||||||
mv tmp.out $(SRC)/$(SRC).html
|
mv tmp.out $(SRC)/$(SRC).html
|
||||||
cp $(SRC)/$(SRC).html $(SRC)/index.html
|
cp $(SRC)/$(SRC).html $(SRC)/index.html
|
||||||
tar czf $(SRC).html.tar.gz $(SRC)
|
tar czf $(SRC).html.tar.gz $(SRC)
|
||||||
|
@ -1,4 +1,3 @@
|
|||||||
#!/usr/bin/sed -f
|
|
||||||
|
|
||||||
# de-boldify and <p>-ify the Contents.
|
# de-boldify and <p>-ify the Contents.
|
||||||
|
|
||||||
|
Loading…
x
Reference in New Issue
Block a user