Browse Source

Move git-ftp.css to simplify `make html`

`make html` did not work, because the directory `html` was already
there. Moving git-ftp.css from man/html/ to man/ makes the directory
structure simpler and doesn't need a phony entry to make `make html`
work.
pull/251/head
Maikel Linke 9 years ago
parent
commit
14cc868f1a
  1. 1
      .gitignore
  2. 4
      man/Makefile
  3. 9
      man/git-ftp.css

1
.gitignore

@ -1,3 +1,2 @@
MANIFEST
*/man1
/man/git-ftp.1

4
man/Makefile

@ -2,10 +2,12 @@ SHELL=/bin/sh
# files that need mode 644
MAN_FILE=git-ftp.1
HTML_FILE=html/git-ftp.html
HTML_FILE=git-ftp.html
all:
@echo "usage: make man"
@echo " make man-ronn # use ronn instead of pandoc"
@echo " make html"
@echo " make clean"
man:
pandoc -s \

9
man/html/git-ftp.css → man/git-ftp.css

@ -1,8 +1,7 @@
body {
color: black;
font-family: Verdana, sans-serif;
font-size: 100%;
color: #333;
color: #333;
}
pre {
border: 1px dotted gray;
@ -13,9 +12,9 @@ pre {
code {
font-family: monospace;
}
h1 a, h2 a, h3 a, h4 a, h5 a {
h1 a, h2 a, h3 a, h4 a, h5 a {
text-decoration: none;
color: #7a5ada;
color: #7a5ada;
}
h1, h2, h3, h4, h5 { font-family: verdana;
font-weight: bold;
@ -43,7 +42,7 @@ h5 {
font-style: italic;
}
h1.title {
.title {
font-size: 200%;
font-weight: bold;
padding-top: 0.2em;
Loading…
Cancel
Save